Překladač

Konečný automat

S - množina stavů

 - množina vstupních znaků (abeceda)

 - přechodová funkce stav/znak na stav

s0 - počáteční stav

F - množina konečných stavů

Fáze překladače