Answer:
YES
,
ab
Î
L
(
M
)
because
f
Î
F
.
S
imulat
ion of
all possible
moves
from every configuration.
s
a
b
Example:
|–
q
1
a
b
|–
q
2
a
b
|–
s
b
q
1
s
b
f
e
c
e
c
a
q
2
a
b
Question
:
ab
Î
L
(
M
)
?
|–
q
1
|–
f
|–
q
2
b
|–
q
1
b
FA
M
is defined as:
No next
configuration
Use of FA in General
3
/44