Alexander Ollongren in his book explains the so-called Vienna method of programming languages semantics description which is fully based on formal automata.
Александр Оллонгрен в своей книге описывает так называемый Венский метод описания семантики языков программирования, основанный целиком на формальных автоматах.