Voltar
Artigo Acesso aberto Produção Nacional Revisado por pares
BIBTEX RIS

Left recursion in Parsing Expression Grammars

2014; Elsevier BV; Volume: 96; Linguagem: Inglês

10.1016/j.scico.2014.01.013

ISSN

1872-7964

Autores

Sérgio Queiroz de Medeiros, Fabio Mascarenhas, Roberto Ierusalimschy,

Tópico(s)

Formal Methods in Verification

Resumo

We present a semantics for left-recursive Parsing Expression Grammars.• A small extension adds precedence/associativity declarations to operator grammars.• We give a semantics for compilation of left-recursive PEGs to a parsing machine.• Our semantics are conservative: non-left-recursive PEGs are unaffected.

Referência(s)