Language and Automata Theory and Applications

Invited Talks.- Recent Developments in Algorithmic Teaching.- Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications.- Descriptional and Computational Complexity of Finite Automata.- Hypothesis Spaces for Learning.- State Complexity of Nested Word Automata.- Regular Papers.- A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations.- Minimal Union-Free Decompositions of Regular Languages.- Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory.- Matching Trace Patterns with Regular Policies.- Absolute Convergence of Rational Series Is Semi-decidable.- Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG].- Reoptimization of Traveling Salesperson Problems: Changing Single Edge-Weights.- Refinement and Consistency of Timed Modal Specifications.- Nondeterministic Instance Complexity and Proof Systems with Advice.- How Many Holes Can an Unbordered Partial Word Contain?.- An Answer to a Conjecture on Overlaps in Partial Words Using Periodicity Algorithms.- Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization.- Larger Lower Bounds on the OBDD Complexity of Integer Multiplication.- Picture Languages Generated by Assembling Tiles.- Undecidability of Operation Problems for T0L Languages and Subclasses.- Decision Problems for Convex Languages.- On a Family of Morphic Images of Arnoux-Rauzy Words.- Monadic Datalog Tree Transducers.- On Extended Regular Expressions.- Multi-tilde Operators and Their Glushkov Automata.- Non-uniform Cellular Automata.- A Cryptosystem Based on the Composition of Reversible Cellular Automata.- Grammars Controlled by Special Petri Nets.- Nested Counters in Bit-Parallel String Matching.- Bounded Delay andConcurrency for Earliest Query Answering.- Learning by Erasing in Dynamic Epistemic Logic.- The Fault Tolerance of NP-Hard Problems.- Termination of Priority Rewriting.- State Complexity of Combined