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
):
s
a
1
a
2
…
a
n
|
–
q
1
a
2
…
a
n
|
–
…
|
–
q
n
-1
a
n
|
–
q
n
w
pokud
q
n
Î
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
/2
9