• Informações do Trabalho

Titulo Uma Formalização em PLT Redex do Algoritmo de Remoção de Recursão à Esquerda em GLCs Subtítulo Autor ANA CAROLINA MENDES LINO Orientador LEONARDO VIEIRA DOS SANTOS REIS Resumo O presente trabalho aborda o problema da recursão à esquerda em Gramáticas Livre de Contexto (GLCs), uma questão que compromete o funcionamento de algoritmos de análise sintática descendente. Para contornar esse obstáculo, é possível utilizar o algoritmo de remoção de recursão à esquerda, que transforma gramáticas com recursão à esquerda em equivalentes sem essa característica. Um algoritmo clássico de remoção de recursão à esquerda em GLCs é, normalmente, ensinado em cursos de graduação em disciplinas de linguagens formais e autômatos e teoria dos compiladores. Com o objetivo de prover uma especificação formal e executável deste algoritmo, este trabalho apresenta uma formalização em PLT Redex da remoção de recursão à esquerda em GLCs. Utilizando a biblioteca Rackcheck, conduzimos testes baseados em propriedades para evidenciar que a gramática original e a versão sem recursão são equivalentes. Palavras-Chave Recursão à esquerda, PLT Redex, Linguagens de programação, RackCheck