Implementation and Application of Automata

20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings

  • Frank Drewes

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

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

Table of contents

  1. Front Matter
    Pages I-XXIII
  2. Invited Papers

  3. Regular Papers

    1. Front Matter
      Pages 19-19
    2. Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard E. Stearns
      Pages 21-34
    3. Angelo Borsotti, Luca Breveglieri, Stefano Crespi Reghizzi, Angelo Morzenti
      Pages 35-48
    4. Sabine Broda, Sílvia Cavadas, Miguel Ferreira, Nelma Moreira
      Pages 49-62
    5. Pascal Caron, Ludovic Mignot, Clément Miklarz
      Pages 63-75
    6. Zhe Dang, Dmitry Dementyev, Thomas R. Fischer, William J. Hutton III
      Pages 76-88
    7. Henning Fernau, Meenakshi Paramasivan, Markus L. Schmid
      Pages 89-101
    8. Hermann Gruber, Markus Holzer, Sebastian Jakobi
      Pages 114-126
    9. Vladimir V. Gusev, Marek Szykuła
      Pages 127-139
    10. Stefan Hoffmann, Ludwig Staiger
      Pages 165-175
    11. Martin Kutrib, Matthias Wendlandt
      Pages 199-210

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015.
The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.

Keywords

Automaton Computational complexity Concurrent system Context-free grammar Descriptional complexity Finite-state machine Formal language Grammar Implementation Parsing Probabilistic computation Quantum automaton Quantum computation Recognition power Regular expression Security Semantic bugs Syntax tree Undecidability Weighted automaton

Editors and affiliations

  • Frank Drewes
    • 1
  1. 1.Umeå UniversityUmeåSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-22360-5
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-22359-9
  • Online ISBN 978-3-319-22360-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book