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.