Programas por smc.sf.net

O SMC pega numa máquina estatal armazenada num ficheiro .sm e gera um padrão de Estado em 14 linguagens de programação. Inclui: transições padrão, args de transição, guardas de transição, transições push/pop e ações de entrad