LFApp: Ensino de Ling. Formais

Мобильное приложение для формальных языков обучения и автоматов

LFApp é um aplicativo móvel para ensino de LFA que provê aos alunos não somente a resolução de problemas envolvendo Linguagens Regulares e Linguagens Livres de Contexto, mas também, uma interface com alto caráter acadêmico que descreve e ilustra cada etapa da execução dos algoritmos de modo a apoiar os alunos no processo de aprendizagem.

LFA implementa as seguintes funcionalidades: identificação do tipo de gramática, derivação, remoção de recursão no símbolo inicial, remoção de produções vazias, remoção de regras de cadeia, remoção de símbolos não terminais, remoção de símbolos não alcançáveis, Forma Normal de Chomsky, remoção de recursão direta à esquerda, remoção de recursão indireta à esquerda, Forma Normal de Greibach e algoritmo de reconhecimento CYK (Cocke-Younger-Kasami).