2-INF-186 Formálne jazyky a automaty (2)
| Odporúčaný ročník: | 3. |
| Semester: | letný |
| Rozsah: | P3,C2 |
| Hodnotenie: | 30/70 |
| Počet kreditov: | 6 |
| Vyučujúci: | prednáša prof. RNDr. Branislav Rovan PhD. cvičí RNDr. Peter Kostolányi PhD. |
| www stránka: | http://foja.dcs.fmph.uniba.sk/ |
Sylabus:
- Kontextové gramatiky, lineárne ohraničené automaty.
- Vlastnosti tried jazykov Chomského hierarchie.
- Rozhodnuteľné a nerozhodnuteľné problémy v Chomského hierarchii.
- Deterministické bezkontextové jazyky a základné metódy syntaktickej analýzy.
- Výpočtová zložitosť.
- Základné triedy zložitosti a ich vlastnosti.
Literatúra:
J. Hopcroft, J. Ullman: Formálne jazyky a automaty, Alfa 1978
J. Hopcroft, J. Ullman: Introduction to Automata Theory, Languages, and Computation, Addison Wesley 1979