Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings /
This book constitutes the proceedings of the 18th International Conference on Developments in Language Theory, DLT 2014, held in Ekaterinburg, Russia, in August 2014. The 22 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submission...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
| Edition: | 1st ed. 2014. |
| Series: | Theoretical Computer Science and General Issues ;
8633 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-319-09698-8 |
Table of Contents:
- Finite Automata and Regular Languages On Automatic Transitive Graphs.- Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals
- On the Average Complexity of Brzozowski's Algorithm for Deterministic Automata with a Small Number of Final States
- State Complexity of Deletion
- Semisimple Synchronizing Automata and the Wedderburn-Artin Theory
- On two Algorithmic Problems about Synchronizing Automata (short paper)
- Synchronizing Automata with Random Inputs (short paper)
- Graph Spectral Properties of Deterministic Finite Automata (short paper)
- Pushdown Automata and Related Models
- Input-Driven Pushdown Automata with Limited Nondeterminism (invited paper)
- How to Remove the Look-Ahead of Top-Down Tree Transducers
- Scope-Bounded Pushdown Languages
- Visibly Pushdown Transducers with Well-nested Outputs
- Characterising REGEX Languages by Regular Languages Equipped with Factor-Referencing
- Pumping Lemma and Ogden Lemma for Displacement Context-free Grammars
- Combinatorics and Algorithmics on Words Aperiodic Tilings and Entropy
- On k-Abelian Pattern Matching
- On k-Abelian Palindromic Rich and Poor Words
- Variations of The Morse{Hedlund Theorem for k-Abelian Equivalence
- Maximum Number of Distinct and Nonequivalent Nonstandard Squares in a Word
- Knight Tiles: Particles and Collisions in The Realm of 4-Way Deterministic Tilings
- Eigenvalues and Transduction of Morphic Sequences
- Breadth-First Serialisation of Trees and Rational Languages (short paper)
- Algebraic, Decidability and Complexity Problems for Languages Measuring Communication in Automata Systems (invited paper)
- From Algebra to Logic: There and Back Again { The Story of A Hierarchy (invited paper)
- Closure Properties of Pattern Languages
- Minimal and Hyper-Minimal Biautomata
- Deterministic Set Automata
- The Minimum Amount of Useful Space: New Results and New Directions
- Debates with Small Transparent Quantum Verifiers
- Embedding Finite and Infinite Words into Overlapping Tiles.