Skip to main content
  • Conference proceedings
  • © 2018

Implementation and Application of Automata

23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): CIAA: International Conference on Implementation and Application of Automata

Conference proceedings info: CIAA 2018.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (27 papers)

  1. Front Matter

    Pages I-XI
  2. Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels

    • Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Joshua Young
    Pages 4-27
  3. Boosting Pushdown and Queue Machines by Preprocessing

    • Martin Kutrib, Andreas Malcher, Matthias Wendlandt
    Pages 28-40
  4. The Validity of Weighted Automata

    • Sylvain Lombardy, Jacques Sakarovitch
    Pages 41-45
  5. Algorithms for Weighted Finite Automata with Failure Transitions

    • Cyril Allauzen, Michael D. Riley
    Pages 46-58
  6. The Bottom-Up Position Tree Automaton and Its Compact Version

    • Samira Attou, Ludovic Mignot, Djelloul Ziadi
    Pages 59-70
  7. A New Hierarchy for Automaton Semigroups

    • Laurent Bartholdi, Thibault Godin, Ines Klimann, Matthieu Picantin
    Pages 71-83
  8. Synchronizing Random Almost-Group Automata

    • Mikhail V. Berlinkov, Cyril Nicaud
    Pages 84-96
  9. A Comparison of Two N-Best Extraction Methods for Weighted Tree Automata

    • Johanna Björklund, Frank Drewes, Anna Jonsson
    Pages 97-108
  10. State Complexity of Overlap Assembly

    • Janusz A. Brzozowski, Lila Kari, Bai Li, Marek Szykuła
    Pages 109-120
  11. Online Stochastic Pattern Matching

    • Marco Cognetta, Yo-Sub Han
    Pages 121-132
  12. Solving Parity Games: Explicit vs Symbolic

    • Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi
    Pages 159-172
  13. Generalised Twinning Property

    • Stefan Gerdjikov
    Pages 173-185
  14. Non-self-embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata

    • Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero
    Pages 186-197
  15. Semilinearity of Families of Languages

    • Oscar H. Ibarra, Ian McQuillan
    Pages 211-222
  16. The Exact Complexity of Star-Complement-Star

    • Jozef Jirásek, Galina Jirásková
    Pages 223-235

Other Volumes

  1. Implementation and Application of Automata

About this book

This book constitutes the proceedings of the 23rd International Conference on  Implementation and Application of Automata, CIAA 2018, held in  Charlottetown, PE, Canada, in July/August 2018.
The 23 regular papers  presented in this book together with 4 invited papers were carefully reviewed and selected from 39 initial submissions. 
The topics of the papers include state complexity of automata, implementations of automata and experiments, enhanced regular expressions, and complexity analysis.

Editors and Affiliations

  • University of Prince Edward Island, Charlottetown, Canada

    Cezar Câmpeanu

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access