Definice: Nechť M = (Q, S, R, s, F) je KA. Jazyk přijímaný konečným automatem M, L(M), je definován:
L(M) = {w: w Î S*, sw |–* f,  f Î F}
Přijímaný jazyk
M = (Q, S, R, s, F):
 sa1a2…an |– q1a2…an |– … |– qn-1an |– qn
w
pokud qn Î F pak w Î L(M);
jinak w Ï L(M)
Myšlenka: M přijímá řetězec w, pokud je celý přečten pomocí sekvencí přechodů a skončí v nějakém koncovém stavu
16/29