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