[Moved] Finite State Machine Development
This isn't a post about coding. This is a post about methods people use in developing a finite state machine.
When you are designing finite state machine how are you determining and organizing the different states? I have been thinking about this for a couple of days now and the best approach that I have been able to come up with is to use 3X5 cards and laying them on my floor.
Using cards is a creative way to develop a hole bunch of things. For FSM and many other
types of automata there exists good tools to check them against specifications.
For example "Uppaal":http://www.uppaal.org/ It's normal use is to validate timed-automata, but you should be able to ignore the unneccessary power.