a
b
Read head
Input tape:
s
Finite State Control:
q
a
b
M = (Q, S, R, s, F), where:
sab
Finite Automaton M
Q = {s, q}, S = {a, b}, R = {sa ® q, qb ® s}, F = {s}
Question: ab Î L(M) ?
sab
FA: Example 1/3
Current Configuration:
17/29