© 2016

Implementation and Application of Automata

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

  • Yo-Sub Han
  • Kai Salomaa
Conference proceedings CIAA 2016

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9705)

Table of contents

  1. Regular Papers

    1. Aleksandrs Belovs, J. Andres Montoya, Abuzer Yakaryılmaz
      Pages 213-223
    2. Daniel Průša
      Pages 236-247
    3. Shinnosuke Seki, Andrew Winslow
      Pages 248-259
    4. Martin Sulzmann, Kenny Zhuo Ming Lu
      Pages 260-272
    5. Peter Thiemann
      Pages 285-297
    6. Qichao Wang, Friedrich Otto
      Pages 298-309
    7. Jakub Waszczuk, Agata Savary, Yannick Parmentier
      Pages 310-321
    8. Nicolaas Weideman, Brink van der Merwe, Martin Berglund, Bruce Watson
      Pages 322-334
  2. Back Matter
    Pages 335-335

About these proceedings


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. 


complexity analysis formal languages and automata theory regular languages transducers tree languages automata over infinite objects characterization of automata descriptional complexity DNA computing enhanced regular expressions finite-state automata grammars and context-frree languages hypergraphs imlementations of automata and experiments nondeterminism program generation regular expressions symbolic computation two-dimensional pattern matching universality problem

Editors and affiliations

  • Yo-Sub Han
    • 1
  • Kai Salomaa
    • 2
  1. 1.Yonsei UniversitySeoulKorea (Republic of)
  2. 2.Queen's University KingstonCanada

Bibliographic information