Automata-based programming (Shalyto's approach)

This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: "Automata-based programming" Shalyto's approach – news · newspapers · books · scholar · JSTOR (October 2020) (Learn how and when to remove this message)

Automata-based programming is a programming technology.^[1] Its defining characteristic is the use of finite state machines to describe program behavior. The transition graphs of state machines are used in all stages of software development (specification, implementation, debugging and documentation). Automata-based programming technology was introduced by Anatoly Shalyto in 1991.^[2] Switch-technology^[3] was developed to support automata-based programming. Automata-based programming is considered to be rather general purpose program development methodology than just another one finite state machine implementation.