a
b
Vstupní páska:
s
Konečné stavové řízení:
q
a
b
M = (Q, S, R, s, F),
where:
Aktuální
konfigurace:
s
Konečný automat M
Q = {s, q}, S = {a, b}, R = {sa ® q, qb ® s}, F = {s}
Čtecí
hlava
Odpověď:
ANO, ab Î L(M), protože
s Î F
sab |– qb |– s
Konečný automat: Příklad 3/3
Question: ab Î L(M) ?
19/29