Automaty a formálne jazyky 1, Josef Pojsl

Architektúra počítačov

gramatika

konečné automaty

transformace

turingovy stroje

teórie jazyku

• 1 Pojmy jazyka a gramatiky
  1.1 Jazyky
  1.2 Gramatiky
  1.3 Chomského hierarchie
  2 Konečné automaty
  2.1 Deterministické KA
  2.2 Nedeterministické K A
  2.3 Rozhodnutelné problémy z oblasti K A
  3 Regulárni gramatiky a jazyky
  3.1 Konečné automaty a regulárni gramatiky
  3.2 Vlastnosti regulárních jazyku
  3.3 Regulárni výrazy
  4 Zásobníkové automaty
  4.1 Zásobníkový automat a jeho rozšírení
  4.2 Stromy odvození pro CFG
  4.3 Zásobníkové automaty a bezkontextové gramatiky
  5 Bezkontextové gramatiky a jazyky
  5.1 Transformace CFG
  5.2 Normálni formy CFG
  5.3 Uzáverové vlastnosti CFL
  6 Deterministické ZA a CFL
  6.1 Deterministická ZA
  6.2 Uzáverové vlastnosti deterministických CFL
  7 Kontextové jazyky
  8 Turingovy stroje
  8.1 Základní model TS
  8.2 Nékteré modifikace základního modelu TS .
  9 Turingovy stroje a jazyky typu 0
  10 Rozhodnutelnost v teórii jazyku
  10.1 Postúv korešpondenční problém
  10.2 Nerozhodnutelné problémy z teórie jazyku .
  Literatúra