Real-Time Strict Deterministic Languages
From MaRDI portal
Publication:5684249
DOI10.1137/0201024zbMATH Open0267.68034OpenAlexW2070015363MaRDI QIDQ5684249FDOQ5684249
Authors: Michael A. Harrison, Ivan Havel 
Publication date: 1972
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/0201024
Cited In (22)
- On LR(k) grammars and languages
- A direct branching algorithm for checking equivalence of strict deterministic vs. LL(k) grammars
- The inclusion problem for simple languages
- Normal forms of deterministic grammars
- The equivalence problem for LL- and LR-regular grammars
- A left part theorem for grammatical trees
- The equivalence problem for two dpda's, one of which is a finite-turn or one-counter machine
- Synchronizable deterministic pushdown automata and the decidability of their equivalence
- On jump-deterministic pushdown automata
- Strict deterministic grammars
- Title not available (Why is that?)
- A new foundation for finitary corecursion. The locally finite fixpoint and its properties
- Decidable subcases of the equivalence problem for recursive program schemes
- A new foundation for finitary corecursion and iterative algebras
- Constructing a realtime deterministic pushdown automaton from a grammar
- New families of non real time dpda's and their decidability results
- An extended direct branching algorithm for checking equivalence of deterministic pushdown automata
- Some results on subclass containment problems for special classes of dpda's related to nonsingular machines
- A pumping lemma for real-time deterministic context-free languages
- A hierarchy of real-time deterministic languages and their equivalence
- Iteration theorems for families of strict deterministic languages
- On equivalence of grammars through transformation trees
This page was built for publication: Real-Time Strict Deterministic Languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5684249)
