International Scientific Journals
of Scientific Technical Union of Mechanical Engineering "Industry 4.0"

The technology of constructing models of software systems using non-deterministic finite state machines is offered. In this case, each vertex of the automaton model (state) is matched by the output function and the transition function. The first determines the actions performed in this state, and the second defines the conditions for the transition to other states. Bypassing an automated model tree of a program to implement it in some programming language, you can create your own program.