Lineárně ohraničený Turingův stroj: Porovnání verzí

Smazaný obsah Přidaný obsah
Bota47 (diskuse | příspěvky)
m pahýl
Řádek 3:
Lineárně ohraničené Turingovy stroje umí akceptovat [[formální jazyk|jazyky]] ze třídy [[kontextový jazyk|kontextových jazyků]]. Lze dokázat, že pro každý lineárně ohraničený Turingův stroj lze sestrojit Turingův stroj, který nepotřebuje pásku delší než je délka vstupního slova.
 
{{počítačový pahýl}}
[[Category:Výpočetní modely]]
 
[[CategoryKategorie:Výpočetní modely]]
 
[[bs:Linearno ograničen automat]]