Automata-based programming (Shalyto's approach) Source: en.wikipedia.org/wiki/Automata-based_programming_(Shalyto's_approach)