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