The inclusion problem for simple languages
From MaRDI portal
Publication:1235014
DOI10.1016/0304-3975(76)90074-8zbMATH Open0349.68032OpenAlexW2078050093MaRDI QIDQ1235014FDOQ1235014
Authors: Emily P. Friedman 
Publication date: 1976
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(76)90074-8
Cites Work
- Title not available (Why is that?)
- Decidable Properties of Monadic Functional Schemas
- Title not available (Why is that?)
- Properties of deterministic top-down grammars
- The theory of languages
- The equivalence problem for deterministic two-tape automata
- Optimality of a Two-Phase Strategy for Routing in Interconnection Networks
- Title not available (Why is that?)
- Real-Time Strict Deterministic Languages
- Decidable and Undecidable Questions About Automata
Cited In (32)
- Decidability results in automata and process theory
- Nested session types
- The different shades of infinite session types
- Decision problems for pushdown threads
- From security protocols to pushdown automata
- On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
- A note on limited pushdown alphabets in stateless deterministic pushdown automata
- Complexity of universality and related problems for partially ordered NFAs
- Conjunctive and Boolean grammars: the true general case of the context-free grammars
- Bisimulation equivalence and regularity for real-time one-counter automata
- A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
- Title not available (Why is that?)
- A representation of trees by languages. II
- Synchronizing deterministic push-down automata can be really hard
- Superdeterministic DPDAs: The method of accepting does affect decision problems
- Two decidability results for deterministic pushdown automata
- A representation of trees by languages. I
- String analysis as an abstract interpretation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Infinite trees in normal form and recursive equations having a unique solution
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines
- New techniques for proving the decidability of equivalence problem
- On deciding some equivalences for concurrent processes
- Monoid-based approach to the inclusion problem on superdeterministic pushdown automata
- Constructing a realtime deterministic pushdown automaton from a grammar
- DPDA's in 'Atomic normal form' and applications to equivalence problems
- State Complexity of Permutation and the Language Inclusion Problem up to Parikh Equivalence on Alphabetical Pattern Constraints and Partially Ordered NFAs
- Monadic recursion schemes: The effect of constants
- The inclusion problem for some subclasses of context-free languages
- On equivalence of grammars through transformation trees
- Title not available (Why is that?)
This page was built for publication: The inclusion problem for simple languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1235014)
