Automat
y
: S
hrnutí
Přijímací model
Turing
ův
stroj
Lineárně ohraničený
automat
Zásobníkový
automat
Konečný
automat
Jazyky
Rekurzivně
vyčíslitelné
Kontextové
Bezkontextové
Regul
ární
Zobecňování
Specializování
37
/45