Teorie jazyků a automatů
| Jazyk výuky | angličtina, čeština |
|---|---|
| Kód | 460-6003 |
| Zkratka | TJA |
| Název předmětu česky | Teorie jazyků a automatů |
| Název předmětu anglicky | Theory of Languages and Automata |
| Garantující katedra | Katedra informatiky |
| Garant předmětu | doc. Ing. Zdeněk Sawa, Ph.D. |
Anotace
Předmět nejdříve rekapituluje základní znalosti týkajici se konečných automatů, bezkontextových jazyků a Turingových strojů, se kterými se studenti seznámili v magisterském studiu. Klade se ovšem důraz na exaktní přístup a hlubší pochopení. Dále je kurs věnován pokročilejším partiím v těchto a dalších oblastech (např. vztahu jazyků, automatů a logiky, stromovým jazykům apod.).
Povinná literatura
M.Sipser: Introduction to the Theory of Computation (2nd ed.), Thomson 2006
Doporučená literatura
D. Kozen: Automata and Computability, Springer 1997
D. Kozen: Theory of Computation; Springer 2006
J.E.Hopcroft, R. Motwani, J.D.Ullman: Introduction to Automata Theory, Languages and Computation. Addison Wesley, 2001
H. Comon et al.: Tree Automata Techniques and Applications; http://tata.gforge.inria.fr/ (2007)
Handbook of formal languages, Vol 1,2,3 (ed. G.Rozenberg) (Springer 1997)
M.Demlová, V.Koubek: Algebraická teorie automatů. Matematický seminář SNTL, Praha, 1990
M.Chytil: Automaty a gramatiky. Matematický seminář SNTL, Praha, 1984
D. Kozen: Theory of Computation; Springer 2006
J.E.Hopcroft, R. Motwani, J.D.Ullman: Introduction to Automata Theory, Languages and Computation. Addison Wesley, 2001
H. Comon et al.: Tree Automata Techniques and Applications; http://tata.gforge.inria.fr/ (2007)
Handbook of formal languages, Vol 1,2,3 (ed. G.Rozenberg) (Springer 1997)
M.Demlová, V.Koubek: Algebraická teorie automatů. Matematický seminář SNTL, Praha, 1990
M.Chytil: Automaty a gramatiky. Matematický seminář SNTL, Praha, 1984