Una herramienta para la simulación, la visualización y la transformación de los autómatas de estados finitos y las máquinas de Turing. Crea, simula y transforma máquinas de DFA y NFA Crea y simula TM Ensayos de lotes para TM: características útiles...