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