MODIFICATION OF AUTOMATA PROGRAMS
Read the full article
The method of automata-based programs modification is described in the paper that allows decreasing the
number of changes which may lead to error appearance. The method is based on automata refactoring –
sequence of small equivalent modifications keeping behavior. A number of automata refactorings is suggested which extends a list of standard refactorings on automata-based programming case.