procedure get_Next_Token(var TOKEN: ....);
... {deklarace, ...}
str := ''; {čtený řetězec}
state := S; {aktuální stav}
repeat
symbol = getchar(); {čtení dalšího znaku}
case state of
s : begin {počáteční stav}
if symbol in ['a'..'z'] then
begin
state := f1; {identifikátor}
str := symbol;
end else