Decidability of trajectory-based equations
From MaRDI portal
Publication:2575751
DOI10.1016/J.TCS.2005.07.013zbMATH Open1079.68049OpenAlexW2076263584MaRDI QIDQ2575751FDOQ2575751
Kai Salomaa, Michael Domaratzki
Publication date: 6 December 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2005.07.013
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Maximal and minimal solutions to language equations
- On language equations with invertible operations
- Boolean grammars
- On the decomposition of finite languages
- Shuffle on trajectories: Syntactic constraints
- Unification in a Description Logic with Transitive Closure of Roles
- Unification of concept terms in description logics
- SHUFFLE DECOMPOSITIONS OF REGULAR LANGUAGES
- Bounded Regular Sets
- Computational Parallels between the Regular and Context-Free Languages
- Closure and decidability properties of some language classes with respect to ciliate bio-operations.
- K-catenation and applications:k-prefix codes
- Deletion along trajectories
- Aspects of shuffle and deletion on trajectories
- Characterizing regular languages with polynomial densities
- RESTRICTED SETS OF TRAJECTORIES AND DECIDABILITY OF SHUFFLE DECOMPOSITIONS
- Mathematical Foundations of Computer Science 2004
- Middle quotients of linear languages
Cited In (11)
- On the existence of prime decompositions
- Codes defined by multiple sets of trajectories
- State complexity of deletion and bipolar deletion
- Equations over sets of integers with addition only
- Block insertion and deletion on trajectories
- Schema for parallel insertion and deletion: revisited
- Language equations
- On Language Decompositions and Primality
- ORTHOGONAL SHUFFLE ON TRAJECTORIES
- NOTES ON DUAL CONCATENATION
- Language Decompositions, Primality, and Trajectory-Based Operations
Recommendations
This page was built for publication: Decidability of trajectory-based equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575751)