The Synthesis of Combined Mealy and Moore Machines Structural Model Using Values of Output Variables as Codes of States

The paper describes the problem of synthesis of finite state machines for programmable logic. A specific feature of the described problem is using of the values of output variables as a code of internal states. To solve this problem a combined model of Mealy and Moore machines is used. The main difference between the proposed approach and the well-known approach is the fact that the original state machine don´t undergo any changes associated with an increase of the number of internal states and transitions of a machine. The necessary conditions for the possibility of using the values of output variables in the code are considered. A method of the synthesis of the combined model AC of Mealy and Moore machines is proposed. In conclusion, the possible directions for further research in developing new structural models of finite automata are considered.