FDD3372 Automata and Languages
KTH Royal Institute of Technology
Courses equivalent to SF1630 Discrete Mathematics and DD1350 Logic for Computer Science.
Finite automata, stack automata and Turing machines, and the important related language classes of regular and context free languages. The relation between automata and language is established by means of different transformations. The language classes are characterised by some classical theorems as Myhill-Nerode's theorem and Chomsky-Schützenberger's theorem.
The general the aim of the course is to give the doctoral students a deep understanding of calculation and efficient computability through the abstract concept of automata and the languages that they know of. At the same time, the doctoral students will get familiar with the important concepts of state, non-determinism and minimization.
Reviews
Improve accuracy by rating this course