¿Me podrían informar de algún software para trabajar con máquina de estados?

Hola gente, estoy buscando un programa que me sirva para trabajar con máquina de estados (Autómata de Moore o Mealy). En definitiva, quisiera que se pueda armar el diagrama de estado, y que el Soft devuelva la tabla característica. El único programa que conozco es el Boole Deusto, pero es bastante limitado y buscaba algo con mejores prestaciones. Muchas gracias! Saludos! ...
 
Atrás
Arriba