Skip to main content
Springer Nature Link
Log in

Implementation and Application of Automata

21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Yo-Sub Han

    1. Yonsei University, Seoul, Korea (Republic of)

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kai Salomaa

    1. Queen's University , Kingston, 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 9705)

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

Included in the following conference series:

Conference proceedings info: CIAA 2016.

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

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 refereed proceedings of the 21st International
Conference on Implementation and Application of Automata, CIAA 2016,
held in Seoul, South Korea, in July 2016.


The 26 revised full papers presented were carefully reviewed and selected from
49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations of
automata and experiments, enhanced regular expressions, and complexity analysis. 

Similar content being viewed by others

Keywords

Table of contents (27 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Decision Problems for Finite Automata over Infinite Algebraic Structures

      • Bakhadyr Khoussainov, Jiamou Liu
      Pages 3-11

  3. Regular Papers

    1. Front Matter

      Pages 13-13
      Download chapter PDF

    2. The Degree of Irreversibility in Deterministic Finite Automata

      • Holger Bock Axelsen, Markus Holzer, Martin Kutrib
      Pages 15-26

    3. Deterministic Stack Transducers

      • Suna Bensch, Johanna Björklund, Martin Kutrib
      Pages 27-38

    4. Computing the Expected Edit Distance from a String to a PFA

      • Jorge Calvo-Zaragoza, Colin de la Higuera, Jose Oncina
      Pages 39-50

    5. Derived-Term Automata of Multitape Rational Expressions

      • Akim Demaille
      Pages 51-63

    6. Solving Parity Games Using an Automata-Based Algorithm

      • Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
      Pages 64-76

    7. Ternary Equational Languages

      • Zoltán Ésik
      Pages 77-88

    8. Problems on Finite Automata and the Exponential Time Hypothesis

      • Henning Fernau, Andreas Krebs
      Pages 89-100

    9. A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 for Spanning Tree Automata

      • Akio Fujiyoshi
      Pages 101-112

    10. A Practical Simulation Result for Two-Way Pushdown Automata

      • Robert Glück
      Pages 113-124

    11. Nondeterministic Complexity of Operations on Closed and Ideal Languages

      • Michal Hospodár, Galina Jirásková, Peter Mlynárčik
      Pages 125-137

    12. On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L

      • Oscar H. Ibarra, Ian McQuillan
      Pages 138-149

    13. Kuratowski Algebras Generated by Prefix-Free Languages

      • Jozef Jirásek Jr., Juraj Šebej
      Pages 150-162

    14. A Logical Characterization of Small 2NFAs

      • Christos A. Kapoutsis, Lamana Mulaffer
      Pages 163-175

    15. Experiments with Synchronizing Automata

      • Andrzej Kisielewicz, Jakub Kowalski, Marek Szykuła
      Pages 176-188

    16. Implementation of Code Properties via Transducers

      • Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis
      Pages 189-201

    17. On Synchronizing Automata and Uniform Distribution

      • Emil Lerner
      Pages 202-212
Back to top

Other volumes

  1. Implementation and Application of Automata

Editors and Affiliations

  • Yonsei University, Seoul, Korea (Republic of)

    Yo-Sub Han

  • Queen's University , Kingston, Canada

    Kai Salomaa

Bibliographic Information

Publish with us

Policies and ethics

Back to top