Thinking in terms of automata (steps and states) can also be used to describe semantics of some programming languages.
Размишљање у смислу аутомата (кораци и стања) може да се користи за описивање семантичких неких програмских језика.