Real-Time Strict Deterministic Languages
From MaRDI portal
Publication:5684249
Cited in
(22)- Constructing a realtime deterministic pushdown automaton from a grammar
- A pumping lemma for real-time deterministic context-free languages
- A hierarchy of real-time deterministic languages and their equivalence
- The equivalence problem for LL- and LR-regular grammars
- A new foundation for finitary corecursion. The locally finite fixpoint and its properties
- Strict deterministic grammars
- A direct branching algorithm for checking equivalence of strict deterministic vs. LL(k) grammars
- Normal forms of deterministic grammars
- Decidable subcases of the equivalence problem for recursive program schemes
- A left part theorem for grammatical trees
- Iteration theorems for families of strict deterministic languages
- 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
- On equivalence of grammars through transformation 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
- New families of non real time dpda's and their decidability results
- A new foundation for finitary corecursion and iterative algebras
- On LR(k) grammars and languages
- On jump-deterministic pushdown automata
- The inclusion problem for simple languages
- scientific article; zbMATH DE number 3735179 (Why is no real title available?)
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)
