We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Fast deterministic parsers for transition networks.
- Authors
Borsotti, Angelo; Breveglieri, Luca; Crespi Reghizzi, Stefano; Morzenti, Angelo
- Abstract
Extended BNF grammars (EBNF) allow regular expressions in the right parts of their rules. They are widely used to define languages, and can be represented by recursive Transition Networks (TN) consisting of a set of finite-state machines. We present a novel direct construction of efficient shift-reduce ELR(1) parsers for TNs. We show that such a parser works deterministically if the TN is free from the classical shift-reduce and reduce-reduce conflicts of the LR(1) parsers, and from a new conflict type called convergence conflict. Such a novel condition for determinism is proved correct and is more general than those proposed in the past for EBNF grammars or TNs. Such ELR(1) parsers perform fewer shift moves than the equivalent LR(1) parsers. A simple optimization of the reduction moves is described.
- Subjects
PARSING (Computer grammar); NETWORK grammar; FINITE state machines; GRAPH grammars; LANGUAGE &; languages
- Publication
Acta Informatica, 2018, Vol 55, Issue 7, p547
- ISSN
0001-5903
- Publication type
Article
- DOI
10.1007/s00236-017-0308-3