Finite State Machine Generator Tested using: Python 2.6.1 (r261:67515, Jul 7 2009, 23:51:51) [GCC 4.2.1 (Apple Inc. build 5646)] on darwin Mac OS X 10.6.2 Creation