Todas as gramáticas inequívocas podem ser analisadas em tempo linear?

22

Ao mexer na análise de LR não-canônica, pensei em um método de análise (com tabelas de tamanho infinito, o que o torna um tanto impraticável ) capaz de analisar exatamente as gramáticas inequívocas no tempo , e me perguntei se é possível fazer melhor. :O(n2)

Todas as gramáticas inequívocas podem ser analisadas em tempo linear?

Tenho certeza de que li em algum lugar que esse é o caso, mas ele não aparece ao pesquisar na Internet. A mesma pergunta foi feita aqui , mas nenhuma resposta foi dada até onde eu sei.

Alex ten Brink
fonte

Respostas:

23

A análise sem contexto inequívoca está em usando o algoritmo de Earley. Se existe um algoritmo de análise trabalhando em tempo linear em todas as gramáticas inequívocas sem contexto é um problema em aberto. Uma das afirmações mais avançadas desse tipo é devida a Leo [1991], que mostrou que uma variante da análise de Earley funciona em tempo linear para todas as gramáticas de LRR.O(n2)

[Leo 1991] Joop MIM Leo. Um algoritmo geral de análise sem contexto, executado em tempo linear em todas as gramáticas LR ( ) sem usar lookahead, Theoretical Computer Science 82 (1): 165--176. doi: 10.1016 / 0304-3975 (91) 90180-Ak

Sylvain
fonte