Skip to main content
Springer Nature Link
Log in

Implementation and Application of Automata

27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Benedek Nagy

    1. Eastern Mediterranean University, Famagusta, Cyprus

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14151)

Included in the following conference series:

Conference proceedings info: CIAA 2023.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the proceedings of the 27th International Conference on Implementation and Application of Automata, CIAA 2023, held in Famagusta, North Cyprus, during September 19–22, 2023.

The 20 regular papers presented in this book together with invited talks were carefully reviewed and selected from 30 submissions.

The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures.

Keywords

Table of contents (22 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Binary Coded Unary Regular Languages

      • Viliam Geffert
      Pages 3-20

    3. A Survey on Automata with Translucent Letters

      • Friedrich Otto
      Pages 21-50

  3. Contributed Papers

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. Earliest Query Answering for Deterministic Stepwise Hedge Automata

      • Antonio Al Serhali, Joachim Niehren
      Pages 53-65

    3. Constrained Multi-Tildes

      • Samira Attou, Ludovic Mignot, Clément Miklarz, Florent Nicart
      Pages 66-78

    4. On the Smallest Synchronizing Terms of Finite Tree Automata

      • Václav Blažej, Jan Janoušek, Štěpán Plachý
      Pages 79-90

    5. Universal First-Order Quantification over Automata

      • Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
      Pages 91-102

    6. Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions

      • Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
      Pages 103-115

    7. Sweep Complexity Revisited

      • Szilárd Zsolt Fazekas, Robert Mercaş
      Pages 116-127

    8. The Pumping Lemma for Regular Languages is Hard

      • Hermann Gruber, Markus Holzer, Christian Rauch
      Pages 128-140

    9. M-equivalence of Parikh Matrix over a Ternary Alphabet

      • Joonghyuk Hahn, Hyunjoon Cheon, Yo-Sub Han
      Pages 141-152

    10. Operational Complexity in Subregular Classes

      • Michal Hospodár, Galina Jirásková
      Pages 153-165

    11. When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh’s Theorem

      • Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
      Pages 166-178

    12. Enhanced Ternary Fibonacci Codes

      • Shmuel T. Klein, Dana Shapira
      Pages 179-193

    13. Sweeping Input-Driven Pushdown Automata

      • Martin Kutrib
      Pages 194-205

    14. Verified Verifying: SMT-LIB for Strings in Isabelle

      • Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
      Pages 206-217

    15. Weighted Bottom-Up and Top-Down Tree Transformations Are Incomparable

      • Andreas Maletti, Andreea-Teodora Nász
      Pages 218-229

    16. Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer

      • Sebastian Maneth, Martin Vu
      Pages 230-241
Back to top

Other volumes

  1. Implementation and Application of Automata

Editors and Affiliations

  • Eastern Mediterranean University, Famagusta, Cyprus

    Benedek Nagy

Bibliographic Information

  • Book Title: Implementation and Application of Automata

  • Book Subtitle: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings

  • Editors: Benedek Nagy

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-40247-0

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Softcover ISBN: 978-3-031-40246-3Published: 10 August 2023

  • eBook ISBN: 978-3-031-40247-0Published: 09 August 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 304

  • Number of Illustrations: 65 b/w illustrations, 16 illustrations in colour

  • Topics: Natural Language Processing (NLP)

Publish with us

Policies and ethics

Back to top