Chargement en cours…
Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings /
| Cote: | Libro Electrónico |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | , , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Édition: | 1st ed. 2005. |
| Collection: | Lecture Notes in Computer Science,
3340 |
| Sujets: | |
| Accès en ligne: | Texto Completo |
Table des matières:
- Invited Papers
- Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey
- Some New Directions and Questions in Parameterized Complexity
- Basic Notions of Reaction Systems
- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms
- Algebraic and Topological Models for DNA Recombinant Processes
- Contributed Papers
- Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet
- On Competence in CD Grammar Systems
- The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels
- Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages
- On the Maximum Coefficients of Rational Formal Series in Commuting Variables
- On Codes Defined by Bio-operations
- Avoidable Sets and Well Quasi-Orders
- A Ciliate Bio-operation and Language Families
- Semantic Shuffle on and Deletion Along Trajectories
- Sturmian Graphs and a Conjecture of Moser
- P Systems Working in the Sequential Mode on Arrays and Strings
- Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings
- The Power of Maximal Parallelism in P Systems
- An Efficient Pattern Matching Algorithm on a Subclass of Context Free Grammars
- On the Complexity of 2-Monotone Restarting Automata
- On Left-Monotone Deterministic Restarting Automata
- On the Computation Power of Finite Automata in Two-Dimensional Environments
- The Role of the Complementarity Relation in Watson-Crick Automata and Sticker Systems
- The Boolean Closure of Linear Context-Free Languages
- Context-Sensitive Decision Problems in Groups
- Decidability and Complexity in Automatic Monoids
- Relating Tree Series Transducers and Weighted Tree Automata
- An NP-Complete Fragment of LTL
- From Post Systems to the Reachability Problems for Matrix Semigroups and Multicounter Automata
- Words Avoiding -Powers and the Thue-Morse Morphism
- On the Equivalence Problem for E-Pattern Languages Over Small Alphabets
- Complementation of Rational Sets on Countable Scattered Linear Orderings
- On the Hausdorff Measure of ?-Power Languages
- A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages
- Tissue P Systems with Minimal Symport/Antiport.