Implementation and Application of Automata

29th International Conference, CIAA 2025, Palermo, Italy, September 22-25, 2025, Proceedings
Erscheinungsjahr 2025
ISBN: 978-3-032-02601-9
Verlag: Springer

Buch, Englisch, 332 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 534 g

Reihe: Lecture Notes in Computer Science

This book constitutes the proceedings of the 29th International Conference on Implementation and Application of Automata, CIAA 2025, held in Palermo, Italy, during September 22–25, 2025.

The 22 full papers presented in this volume were carefully reviewed and selected from 32 submissions. 

They focus on all aspects on the field of automata theory and implementation, and theory of automata and related structures.

Zielgruppe

Research

Autoren/Hrsg.

Castiglione, Giuseppa

Mantaci, Sabrina

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik Mathematik Mathematik Allgemein Diskrete Mathematik, Kombinatorik
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Data Warehouse
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Information Retrieval
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Algorithmen & Datenstrukturen
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz

Inhaltsverzeichnis

.- Complementable Normal Form of Parametrized Automata.

.- Toward the Glushkovization of Automata: the Strong Stabilization.

.- Constructing Compact BPE Token DFAs.

.- Epsilon Automata on Linear Orderings.

.- Multi-entry DFA with reduced initial states to speedup parallel recognition.

.- Two-Way Automata and Bounded Languages.

.- An Algebraic Approach to the Equivalence Checking of Deterministic Top-down Tree Transducers.

.- An active learning algorithm for bidirectional deterministic finite automata.

.- Dynamically Weighted Tree Transducers.

.- Engineering an LTLf Synthesis Tool.

.- Subsequence Matching and Analysis Problems for Automata with Translucent Letters.

.- Shape Preserving Tree Transducers.

.- Simulating two-way nondeterministic finite automata over small alphabets by one-way nondeterministic automata.

.- A New Approach for Showing Termination of Parameterized Transition Systems.

.- An Earley-Based Universal Error-Correcting Parser.

.- More on Language Families with a Decidable Pumping-Problem (Extended Abstract).

.- Self-Verifying Predicates in B¨uchi Arithmetic.

.- State-Freezing Pushdown Automata.

.- From regular expressions to deterministic finite automata: $2ˆ{\frac{n}{2}+\sqrt{n}(\log n)ˆ{\Theta(1)}}$ states are necessary and sufficient.

.- A first taste of MeSCaL, a tool for solving membership problems for regular languages.

.- In orbit with MeSCaL: higher in concatenation and navigational hierarchies of regular languages.

.- A hierarchy of reversible finite automata.