Jflap

Es un software para experimentar con temas de lenguajes formales que incluyen autómatas finitos no deterministas, máquinas de Turing