TS jako model pro přijímání jazyků
Definice: Nechť M = (Q, S, G, R, s, F) je TS. Jazyk přijímaný TS M, L(M), je definován:   
L(M) = {w: w Î S*, sw |–* xfy; x, y Î G*, f Î F} È
              {e: sD |–* xfy; x, y Î G*, f Î F}
Myšlenka: M přijímá řetězec w, pokud provede sekvenci přechodů ze stavu s do koncového stavu
Ilustrace:
w
s
x
y
f
• Pro w ¹ e:
D
D
…
D
D
…
s
x
y
f
• Pro w = e:
D
D
…
D
D
…
15/45