Answer: YES, ab Î L(M)  because f Î F.
Simulation of all possible moves from every configuration.
 sab
Example:
|– q1ab
|– q2ab
|– sb
q1
s
b
f
e
c
e
c
a
q2
a
b
Question: ab Î L(M) ?
|– q1
|–  f
|– q2b
|– q1b
FA M is defined as:
No next
configuration
Use of FA in General
3/44