a
b
Čtecí hlava
Vstupní páska:
s
Konečné stavové řízení:
q
a
b
M
= (
Q
,
S
,
R
,
s
,
F
),
kde
:
s
ab
Konečný automat
M
Q
= {
s
,
q
},
S
= {
a
,
b
},
R
= {
sa
®
q, qb
®
s
},
F
=
{
s
}
Otázka:
ab
Î
L
(
M
)
?
s
ab
Konečný automat
: Příklad 1/3
Aktuální konfigurace
:
17
/2
9