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