Skip to main content
SpringerLink
Log in

Implementation and Application of Automata

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Cezar Câmpeanu

    1. University of Prince Edward Island, Charlottetown, Canada

    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 10977)

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

Included in the following conference series:

Conference proceedings info: CIAA 2018.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. On Design and Analysis of Chemical Reaction Network Algorithms

    • Anne Condon
    Pages 1-3

  3. Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels

    • Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Joshua Young
    Pages 4-27

  4. Boosting Pushdown and Queue Machines by Preprocessing

    • Martin Kutrib, Andreas Malcher, Matthias Wendlandt
    Pages 28-40

  5. The Validity of Weighted Automata

    • Sylvain Lombardy, Jacques Sakarovitch
    Pages 41-45

  6. Algorithms for Weighted Finite Automata with Failure Transitions

    • Cyril Allauzen, Michael D. Riley
    Pages 46-58

  7. The Bottom-Up Position Tree Automaton and Its Compact Version

    • Samira Attou, Ludovic Mignot, Djelloul Ziadi
    Pages 59-70

  8. A New Hierarchy for Automaton Semigroups

    • Laurent Bartholdi, Thibault Godin, Ines Klimann, Matthieu Picantin
    Pages 71-83

  9. Synchronizing Random Almost-Group Automata

    • Mikhail V. Berlinkov, Cyril Nicaud
    Pages 84-96

  10. A Comparison of Two N-Best Extraction Methods for Weighted Tree Automata

    • Johanna Björklund, Frank Drewes, Anna Jonsson
    Pages 97-108

  11. State Complexity of Overlap Assembly

    • Janusz A. Brzozowski, Lila Kari, Bai Li, Marek Szykuła
    Pages 109-120

  12. Online Stochastic Pattern Matching

    • Marco Cognetta, Yo-Sub Han
    Pages 121-132

  13. State Complexity of Reversals of Deterministic Finite Automata with Output

    • Sylvie Davies
    Pages 133-145

  14. Algorithms and Training for Weighted Multiset Automata and Regular Expressions

    • Justin DeBenedetto, David Chiang
    Pages 146-158

  15. Solving Parity Games: Explicit vs Symbolic

    • Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi
    Pages 159-172

  16. Generalised Twinning Property

    • Stefan Gerdjikov
    Pages 173-185

  17. Non-self-embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata

    • Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero
    Pages 186-197

  18. The Ranges of Accepting State Complexities of Languages Resulting From Some Operations

    • Michal Hospodár, Markus Holzer
    Pages 198-210

  19. Semilinearity of Families of Languages

    • Oscar H. Ibarra, Ian McQuillan
    Pages 211-222

  20. The Exact Complexity of Star-Complement-Star

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

Other volumes

  1. Implementation and Application of Automata

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation