M
= (
Q
,
S
,
R
,
s
,
F
),
p
b
®
p
,
b
p
b
®
f
,
b
e
s
®
p
,
s
®
q
,
e
q
c
®
f
,
c
a
f
a
®
f
};
q
c
®
q
,
c
p
q
s
f
•
Q
= {
s
,
p
,
q
,
f
};
•
S
= {
a
,
b
,
c
};
a
•
R
= {
s
a
®
s
,
where:
Graphical Representation
: Example
•
F =
{
f
}
9
/2
9