Skip to main content
SpringerLink
Log in

Implementation and Application of Automata

24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Michal Hospodár

    1. Slovak Academy of Sciences, Košice, Slovakia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Galina Jirásková

    1. Slovak Academy of Sciences, Košice, Slovakia

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

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

Included in the following conference series:

Conference proceedings info: CIAA 2019.

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

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Static Garbage Collection

      • Sebastian Maneth
      Pages 3-9

    3. Graph-Walking Automata: From Whence They Come, and Whither They are Bound

      • Alexander Okhotin
      Pages 10-29

  3. Contributed Papers

    1. Front Matter

      Pages 31-31
      Download chapter PDF

    2. Enumerated Automata Implementation of String Dictionaries

      • Robert Bakarić, Damir Korenčić, Strahil Ristov
      Pages 33-44

    3. New Approaches for Context Sensitive Flash Codes

      • Gilad Baruch, Shmuel T. Klein, Dana Shapira
      Pages 45-57

    4. Dolev-Yao Theory with Associative Blindpair Operators

      • A. Baskar, R. Ramanujam, S. P. Suresh
      Pages 58-69

    5. Semi-linear Lattices and Right One-Way Jumping Finite Automata (Extended Abstract)

      • Simon Beier, Markus Holzer
      Pages 70-82

    6. Z-Automata for Compact and Direct Representation of Unranked Tree Languages

      • Johanna Björklund, Frank Drewes, Giorgio Satta
      Pages 83-94

    7. A Benchmark Production Tool for Regular Expressions

      • Angelo Borsotti, Luca Breveglieri, Stefano Crespi Reghizzi, Angelo Morzenti
      Pages 95-107

    8. New Algorithms for Manipulating Sequence BDDs

      • Shuhei Denzumi
      Pages 108-120

    9. A Simple Extension to Finite Tree Automata for Defining Sets of Labeled, Connected Graphs

      • Akio Fujiyoshi, Daniel Průša
      Pages 121-132

    10. Composition Closure of Linear Weighted Extended Top-Down Tree Transducers

      • Zoltán Fülöp, Andreas Maletti
      Pages 133-145

    11. A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata

      • Yo-Sub Han, Hwee Kim, Yusei Masuda, Shinnosuke Seki
      Pages 146-157

    12. Descriptional Complexity of Power and Positive Closure on Convex Languages

      • Michal Hospodár
      Pages 158-170

    13. Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations

      • Stavros Konstantinidis, Mitja Mastnak, Juraj Šebej
      Pages 171-183

    14. Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels

      • Stavros Konstantinidis, Nelma Moreira, João Pires, Rogério Reis
      Pages 184-196

    15. Input-Driven Multi-counter Automata

      • Martin Kutrib, Andreas Malcher, Matthias Wendlandt
      Pages 197-208

    16. Two-Dimensional Pattern Matching Against Basic Picture Languages

      • František Mráz, Daniel Průša, Michael Wehar
      Pages 209-221
Back to top

Other volumes

  1. Implementation and Application of Automata

Keywords

About this book

This book constitutes the proceedings of the 24th International Conference on Implementation and Application of Automata, CIAA 2019, held in  Kosice, Slovakia, in July 2019.

The 17 regular papers  presented together with 2  invited papers  in this book were carefully reviewed and selected from 29 initial submissions. The topics of the papers include complexity of languages and language operations, regular expressions, picture languages, jumping automata, input driven and two-dimensional automata, tree languages and tree transducers, architecture of oritatami systems, intruder deduction problem, context sensitive ash codes, rational relations, and algorithms for manipulating sequence binary decision diagrams

Editors and Affiliations

  • Slovak Academy of Sciences, Košice, Slovakia

    Michal Hospodár, Galina Jirásková

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation