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