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