Mathematic-Graphical Formalization of Switch Point Control Circuit Function

This article describes authors designed method then enables mathematic – graphical formalization of system’s functional specification. The result of this method is algebraic system – finite automata that is written in transition table. This transition table is possible to overwrite to graphic form (state diagram) or to mathematic form (transition and output function). This method is described by example of switch point control circuit.