Thinking in terms of automata (steps and states) can also be used to describe semantics of some programming languages.
Мышление в терминах автоматов (шагов и состояний) находит применение и при описании семантики некоторых языков программирования.