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