LR-regular grammars - an extension of LR(k) grammars

From MaRDI portal
Publication:2558004

DOI10.1016/S0022-0000(73)80050-9zbMath0253.68014MaRDI QIDQ2558004

Karel II Culik, Rina S. Cohen

Publication date: 1973

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)




Related Items

A Yacc extension for LRR grammar parsingAn experimental ambiguity detection toolLeft-to-right regular languages and two-way restarting automataSuffix languages in Lr parsingAnalyzing Ambiguity of Context-Free GrammarsUnnamed ItemA hierarchy of monotone deterministic non-forgetting restarting automataAnalyzing Context-Free Grammars Using an Incremental SAT SolverA parsing automata approach to LR theoryExtending lookahead for LR parsersPractical arbitrary lookahead LR parsingUnnamed ItemThe equivalence problem for LL- and LR-regular grammarsA general model for fixed look-ahead lr parsersNecessary and sufficient conditions for a power language to be deterministicRegular languages viewed from a graph-theoretic perspectiveUnnamed ItemA Complete Taxonomy of Restarting Automata without Auxiliary Symbols*An extension of context-free grammars with one-sided context specificationsAnalyzing ambiguity of context-free grammarsLL-regular grammarsTop-down tree transducers with regular look-aheadLook-ahead on pushdownsOn deterministic ordered restart-delete automataComplexity metatheorems for context-free grammar problemsOn tree transducers for partial functionsClasses of formal grammarsOn LL-regular grammarsPrecedence-regular grammarsLl-regular grammarsLar(m, c, l) grammarsA metatheorem for undecidable properties of formal languages and its application to LRR and LLR grammars and languagesRestarting automata with auxiliary symbols restricted by lookahead sizeTests for the LR-, LL-, and LC-regular conditionsA general context-free parsing algorithm running in linear time on every LR(k) grammar without using lookaheadBoundedly \(\text{LR}(k)\)-conflictable grammars


Uses Software


Cites Work