Implementation of DFA 3
/1
0
case
state
of
s : begin
{
start state
}
...
if symbol =
':'
then
state
:= q3
;
{assignment}
else
12
/35
s
f
3
:
q
3
=
:=