Abstract:
The automatic synthesis of a finite drive machine is studied on the sequential logic network.A constructive theorem that can construct the finite drive machine by the regular events is discussed,and a programming method that can solve the state set of the finite drive machine by the startable elements and the followable elements is given.Taking the serial adder as an example,the regular events S 0,S 1 are given.By using the software developed,the real time record of the automatic synthesis on a computer is also given.