Web-Based Software Implementation of Finite State Machine Decomposition for Design and Education

This work focuses on particular but comprehensive problem of decomposition of finite state machines (FSMs), which provides a mathematical model for discrete, deterministic computing (control) devices with finite memory. We are concerned with solving complex logical tasks arising from the process of implementation of complicated algorithms onto contemporary hardware basis using computer aided design tools. The educational aim of this work is to provide a basic theoretical background for discrete systems synthesis using opportunities of asynchronous mode of education via Internet.