Skip to main content
  • Conference proceedings
  • © 2017

Implementation and Application of Automata

22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

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

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 2017.

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 (17 papers)

  1. Front Matter

    Pages I-XX
  2. On the Complexity of Determinizing Monitors

    • Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
    Pages 1-13
  3. On the Semantics of Atomic Subgroups in Practical Regular Expressions

    • Martin Berglund, Brink van der Merwe, Bruce Watson, Nicolaas Weideman
    Pages 14-26
  4. On the Regularity and Learnability of Ordered DAG Languages

    • Henrik Björklund, Johanna Björklund, Petter Ericson
    Pages 27-39
  5. Complexity of Proper Prefix-Convex Regular Languages

    • Janusz A. Brzozowski, Corwin Sinnamon
    Pages 52-63
  6. Equivalence of Probabilistic \(\mu \)-Calculus and p-Automata

    • Claudia Cauli, Nir Piterman
    Pages 64-75
  7. Complexity of Bifix-Free Regular Languages

    • Robert Ferens, Marek Szykuła
    Pages 76-88
  8. Computational Completeness of Path-Structured Graph-Controlled Insertion-Deletion Systems

    • Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman
    Pages 89-100
  9. Stamina: Stabilisation Monoids in Automata Theory

    • Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg
    Pages 101-112
  10. A Simple Method for Building Bimachines from Functional Finite-State Transducers

    • Stefan Gerdjikov, Stoyan Mihov, Klaus U. Schulz
    Pages 113-125
  11. Alignment Distance of Regular Tree Languages

    • Yo-Sub Han, Sang-Ki Ko
    Pages 126-137
  12. Nondeterministic Complexity of Operations on Free and Convex Languages

    • Michal Hospodár, Galina Jirásková, Peter Mlynárčik
    Pages 138-150
  13. Transducing Reversibly with Finite State Machines

    • Martin Kutrib, Andreas Malcher, Matthias Wendlandt
    Pages 151-162
  14. From Hadamard Expressions to Weighted Rotating Automata and Back

    • Louis-Marie Dando, Sylvain Lombardy
    Pages 163-174
  15. Syntactic Complexity of Bifix-Free Languages

    • Marek Szykuła, John Wittnebel
    Pages 201-212
  16. Back Matter

    Pages 213-213

Other Volumes

  1. Implementation and Application of Automata

About this book

This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallée, France, in June 2017.

The 17 revised full papers presented were carefully reviewed and selected from 31 submissions. The topics of the presented papers include state complexity of automata; implementations of automata and experiments; enhanced regular expressions; and complexity analysis.

Editors and Affiliations

  • LIGM (UMR 8049), CNRS, Université Paris-Est, Marne-la-Vallée Cedex 2, France

    Arnaud Carayol

  • LIGM (UMR 8049), Université Paris-Est, Marne-la-Vallée Cedex 2, France

    Cyril Nicaud

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