1-INF-215 Formálne jazyky a automaty (1)

prof. RNDr. Branislav Rovan, PhD.

Forma a rozsah výučby: Prednáška / Cvičenie - 3 / 1

Semester: 3.

Počet kreditov: 6

Stručná osnova predmetu:

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

Jazyk, v ktorom sa predmet vyučuje: anglický, slovenský