Programy według genericfsm.sf.net

Ogólne definicje i funkcje typu typu skończonej maszyny stanu umożliwia implementację maszyn o stanie skończonym z skończoną liczbą stanów i wywołanymi zdarzeniami przejściami między tymi stanami.