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! ...
Me fijé pero no encontré nada 
