The FSMC (Finite State Machine Compiler) is a compiler which is able to translate a state oriented description to procedure oriented description which is a standard program (such as a C program). See <a href=\"http://www.hszk.bme.hu/~nm127/fsmc/\">http:/