Implementace DKA 3/10
  case state of
    s : begin {počáteční stav}
    ...
          if symbol = ':' then
            state := q3; {přiřazení}
          else
12/35
s
f3
:
q3
=
:=