1-INF-215 Formálne jazyky a automaty (1)
| Odporúčaný ročník: | 2. |
| Semester: | zimný |
| Rozsah: | P3,C2 |
| Hodnotenie: | 30/70 |
| Počet kreditov: | 6 |
| Vyučujúci: | prednáša prof. RNDr. Branislav Rovan PhD. |
| www stránka: | http://foja.dcs.fmph.uniba.sk/ |
Sylabus:
- Gramatiky Chomského hierarchie.
- Konečné automaty a zásobníkové automaty.
- Základné vlastnosti regulárnych a bezkontextových jazykov, regulárne výrazy.
- Turingove stroje.
- Nerozhodnuteľné problémy.
- Úvod do teórie zložitosti.
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