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

Smazaný obsah Přidaný obsah
JAnDbot (diskuse | příspěvky)
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. NarozdílNa rozdíl od běžného Turingova stroje totiž nesmí zapisovat na neomezeně mnoho buněk pásky, ale pouze na prvních ''n'' buněk, kde ''n'' je omezeno lineární [[funkce (matematika)|funkcí]] vzhledem k délce vstupního slova. V určitém smyslu je tak tento stroj bližší běžným [[počítač]]ům.
 
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.