Programma's van fsmlang.sf.net

Een taal waarin eindige staatsmachines moeten worden opgegeven. Deze machines worden vervolgens geïmplementeerd in verschillende talen, en zelfs in verschillende modellen binnen die talen, door middel van code gegenereerd do