Implementation and Application of Automata 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings

This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 su...

Full description

Bibliographic Details
Other Authors: Caron, Pascal (Editor), Mignot, Ludovic (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2022, 2022
Edition:1st ed. 2022
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • On 25 Years of CIAA Through the Lens of Data Science
  • Manipulation of Regular Expressions Using Derivatives: an Overview
  • How to Settle the ReDoS Problem: Back to the Classical Automata Theory
  • Ordered Context-Free Grammars
  • Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription
  • A Similarity Measure for Formal Languages Based on Convergent Geometric Series
  • Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata
  • Some results concerning careful synchronization of partial automata and subset synchronization of DFA’s
  • A Toolkit for Parikh Matrices
  • Syntax Checking Either Way
  • On the Power of Pushing or Stationary Moves for Input-Driven Pushdown Automata
  • The Cut Operation in Subclasses of Convex Languages (Extended Abstract)
  • Variations of the Separating Words Problem
  • Homomorphisms on graph-walking automata
  • Nondeterministic State Complexity of Site-Directed Deletion
  • Energy Complexity of Regular Language Recognition.-Real-Time, Constant-Space, Constant-Randomness Verifiers
  • Constrained Synchronization for Monotonic, Solvable and Automata with Simple Idempotents
  • An Ambiguity Hierarchy of Weighted Context-free Grammars