Lineárně ohraničený Turingův stroj: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: hr:Linearno ograničen automat |
m pravopis |
||
Řádek 1:
Pojem '''lineárně ohraničený Turingův stroj''' označuje v [[informatika|informatice]] [[Turingův stroj]], který má omezení při zápisu na pásku.
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.
|