Developments in Language Theory

Invited Presentations.- Quantum Computing: 1-Way Quantum Automata.- An Automata-Theoretic Approach to Software Verification.- Comments on Complete Sets of Tree Automata.- On a Conjecture of Schnoebelen.- Restarting Automata and Their Relations to the Chomsky Hierarchy.- Test Sets for Large Families of Languages.- Complexity Theory Made Easy.- Contributions.- Synchronizing Monotonic Automata.- Covering Problems from a Formal Language Point of View.- Regular Languages Generated by Reflexive Finite Splicing Systems.- The Myhill-Nerode Theorem for Recognizable Tree Series.- Generating Series of the Trace Group.- Residual Finite Tree Automata.- From Glushkov WFAs to Rational Expressions.- NFA Reduction Algorithms by Means of Regular Inequalities.- Tile Rewriting Grammars.- Distributed Pushdown Automata Systems: Computational Power.- On Well Quasi-orders on Languages.- Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models.- On Enumeration of Müller Automata.- Branching Grammars: A Generalization of ET0L Systems.- Learning a Regular Tree Language from a Teacher.- On Three Classes of Automata-Like P Systems.- Computing Languages by (Bounded) Local Sets.- About Duval’s Conjecture.- Computation with Absolutely No Space Overhead.- Deleting String Rewriting Systems Preserve Regularity.- On Deterministic Finite Automata and Syntactic Monoid Size, Continued.- Flip-Pushdown Automata: Nondeterminism is Better than Determinism.- Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton.- Minimizing Finite Automata Is Computationally Hard.- Boolean Grammars.- Syntactic Semiring and Universal Automaton.- Alphabetic Pushdown Tree Transducers.