Obsah

Turingovy stroje

Turing machine

M = (Q, Σ, Γ, δ, q₀, qF)

Jestli má stroj více pásek, nebo je nedeterministický nijak nezvětšuje jeho schopnost přijímat jazyky!

Jazyky přijímané TS

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

Varianty TS

Úplný TS vždy zastaví.

Lineárně omezené automaty

TS s omezenou páskou. Přijímá kontextové jazyky.

Univerzální TS

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.

1)
vždy zastaví