section_heading: Turingov stroj s ograničenim brojem stanja i znakova trake
paragraph_text: Ako se istodobno ograniči broj znakova trake, broj traka i broj stanja, onda je ograničen broj različitih Turingovih strojeva koje je moguće izgraditi. Zato TS s ograničenim brojem znakova trake, s ograničenim brojem traka i s ograničenim brojem stanja ne prihvaća isti skup jezika kao i osnovni model TS. Međutim, ne ograniči li se broj znakova trake, dovoljno je za prihvaćanje bilo kojeg rekurzivno prebrojivog jezika imati jednu traku i tri stanja, od čega su dva stanja neprihvatljiva i jedno stanje prihvatljivo.