The applets in this chapter demonstrate a few typical finite state machines (FSMs), including counters, a traffic-light controller, the solution of the man-wolf-goat-cabbage problem, and a controller for parallel-to-series conversion. In all examples, the state machines are realized with the Hades interactive state-machine editor called JavaFSM. See the first counter applet for a short description of the state-machine simulation component.

Please also check out the animated state-machine demonstrations including the famous farm-road traffic-light controller and an animated elevator provided by Prof. Ferreira and his students from the University of Vicosa in Brazil.

During the simulation, the small thumbnail of the FSM simulation component shows the transition graph with the current state and active transition highlighted; it is updated whenever the FSM inputs change. Use the edit command from the popup-menu to open the user-interface of the FSM editor. You can now change the inputs and outputs of the FSM, add or remove states and transitions, etc. (Due to a bug, the name of your state-machine description file (*.fsm) is not saved when you save the Hades design file (*.hds). When designing your own example circuits, you may have to use a text editor to reference your .fsm file.)

	simple counter	applet	webstart	print
	counter with synchronous reset	applet	webstart	print
	up-down counter	applet	webstart	print
	up-down counter with synchronous reset	applet	webstart	print
	man-wolf-goat-cabbage problem	applet	webstart	print
	branch-prediction state-machine	applet	webstart	print
	stack controller	applet	webstart	print
	Traffic light controller demo	applet	webstart	print
	RS232 transmitter fsm	applet	webstart	print