Title: Státnice / Společná informatika / Automaty a jazyky

Regulární jazyky: regulární gramatiky

Regulární jazyky: deterministický a nedeterministický konečný automat

Regulární jazyky: regulární výrazy

Bezkontextové jazyky: bezkontextové gramatiky, jazyk generovaný gramatikou

Bezkontextové jazyky: zásobníkový automat, třída jazyků přijímaných zásobníkovými automaty

Rekurzivně spočetné jazyky: gramatika typu 0

Rekurzivně spočetné jazyky: Turingův stroj

Rekurzivně spočetné jazyky: algoritmicky nerozhodnutelné problémy

Chomského hierarchie: schopnost zařazení konkrétního jazyka do Chomského hierarchie (zpravidla sestrojení odpovídajícího automatu či gramatiky)