Teorie jazyků a automatů

Teorie jazyků a automatů
460-6003/01
čeština Teorie jazyků a automatů
460-6003/02
angličtina

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

zpět na vyhledávání

Jazyk výuky	čeština, anglič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.