Programas por smc.sf.net

SMC toma una máquina de estado almacenada en un archivo .sm y genera un patrón de estado en 14 lenguajes de programación. Incluye: transiciones predeterminadas, args de transición, guardias de transición, transiciones push/po