M = (Q, Σ, Γ, δ, q₀, qF)
Jestli má stroj více pásek, nebo je nedeterministický nijak nezvětšuje jeho schopnost přijímat jazyky!
Množina všech řetězců v obsahu pásky ve vstupní konfiguraci pro které TS normálně zastaví.
Speciálním případem TS jsou linárně omezené automaty (LOA), je to vlastně TS ale s konečnou páskou, a dokáží přijímat kontextové jazyky
Úplný TS vždy zastaví.
TS s omezenou páskou. Přijímá kontextové jazyky.
Umí interpretovat jiné TS. Na vstupu se nějak (pomocí 1
, 0
a speciálních symbolů) zakódují pravidla TS a obsah pásky.