Programmi di smc.sf.net

SMC accetta una macchina a stati memorizzata in un file SM e genera un modello di stato in 14 linguaggi di programmazione. Include: transizioni predefinite, args di transizione, guardie di transizione, transizioni push/pop e