Mathematic-Graphical Formalization of Switch Point Control Circuit Function
Juraj Ždánsky, Karol Rástočný · DOAJ (DOAJ: Directory of Open Access Journals) · 2004
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.