If you mean computer programs, then no. I know of tools for designing
FSMs. But by analysis, I mean the methods I learned in college for
formally proving things like the functional equivalence of two different
machines and how to detect states that can be merged, etc.
I believe the book was, "Switching and Finite Automata Theory" by Zvi
Kohavi. It was pretty good for a text book teaching theory. It gave me
a very sound base for understanding FSM and related logic. But it was
not a practically oriented book. To just learn how to "get it done" I
am sure there are many better.
Rick "rickman" Collins
Ignore the reply address. To email me use the above address with the XY
Arius - A Signal Processing Solutions Company
Specializing in DSP and FPGA design URL http://www.yqcomputer.com/
4 King Ave 301-682-7772 Voice
Frederick, MD 21701-3110 301-682-7666 FAX