1
O JFLAP é um software para experimentar tópicos de linguagens formais, incluindo autômatos finitos não determinísticos, autômatos de empoderamento não determinísticos, máquinas de Turing com várias fitas, vários tipos de gramática, análise e sistema L.Além de construir e testar exemplos para eles, o JFLAP permite experimentar provas de construção de um formulário para outro, como converter um NFA em um DFA em um DFA de estado mínimo em uma expressão regular ou gramática regular.