Skip to main content
SpringerLink
Log in

Implementation and Application of Automata

19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Markus Holzer

    1. Institut für Informatik, Universität Giessen, Giessen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Martin Kutrib

    1. Institut für Informatik, Universität Giessen, Giessen, Germany

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

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

Included in the following conference series:

Conference proceedings info: CIAA 2014.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. FPsolve: A Generic Solver for Fixpoint Equations over Semirings

      • Javier Esparza, Michael Luttenberger, Maximilian Schlund
      Pages 1-15

    2. Restarting Automata for Picture Languages: A Survey on Recent Developments

      • Friedrich Otto
      Pages 16-41

    3. Investigations on Automata and Languages over a Unary Alphabet

      • Giovanni Pighizzini
      Pages 42-57

    4. Cellular Automata for Crowd Dynamics

      • Georgios Ch. Sirakoulis
      Pages 58-69

  3. Regular Papers

    1. Counting Equivalent Linear Finite Transducers Using a Canonical Form

      • Ivone Amorim, António Machiavelo, Rogério Reis
      Pages 70-83

    2. On the Power of One-Way Automata with Quantum and Classical States

      • Maria Paola Bianchi, Carlo Mereghetti, Beatrice Palano
      Pages 84-97

    3. On Comparing Deterministic Finite Automata and the Shuffle of Words

      • Franziska Biegler, Ian McQuillan
      Pages 98-109

    4. Minimal Partial Languages and Automata

      • Francine Blanchet-Sadri, Kira Goldner, Aidan Shackleton
      Pages 110-123

    5. Large Aperiodic Semigroups

      • Janusz Brzozowski, Marek Szykuła
      Pages 124-135

    6. On the Square of Regular Languages

      • Kristína Čevorová, Galina Jirásková, Ivana Krajňáková
      Pages 136-147

    7. Unary Languages Recognized by Two-Way One-Counter Automata

      • Marzio De Biasi, Abuzer Yakaryılmaz
      Pages 148-161

    8. A Type System for Weighted Automata and Rational Expressions

      • Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
      Pages 162-175

    9. Bounded Prefix-Suffix Duplication

      • Marius Dumitran, Javier Gil, Florin Manea, Victor Mitrana
      Pages 176-187

    10. Recognition of Labeled Multidigraphs by Spanning Tree Automata

      • Akio Fujiyoshi
      Pages 188-199

    11. Reset Thresholds of Automata with Two Cycle Lengths

      • Vladimir V. Gusev, Elena V. Pribavkina
      Pages 200-210

    12. On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers

      • Oscar H. Ibarra
      Pages 211-225

    13. Kleene Closure on Regular and Prefix-Free Languages

      • Galina Jirásková, Matúš Palmovský, Juraj Šebej
      Pages 226-237

    14. Left is Better than Right for Reducing Nondeterminism of NFAs

      • Sang-Ki Ko, Yo-Sub Han
      Pages 238-251

    15. Analytic Functions Computable by Finite State Transducers

      • Petr Kůrka, Tomáš Vávra
      Pages 252-263
Back to top

Other volumes

  1. Implementation and Application of Automata

Keywords

About this book

This book constitutes the refereed proceedings of the 19th
International Conference on Implementation and Application of Automata, CIAA 2014, held in Giessen, Germany, in July/August 2014.
The 21 revised full papers presented together with 4 invited papers were carefully selected from 36 submissions. The papers cover all aspects of implementation, application, and theory of automata and related structures such as algorithms on automata, automata and logic, bioinformatics, complexity of automata operations, compilers,
computer-aided verification, concurrency, data structure design for
automata, data and image compression, design and architecture of
automata software, digital libraries, DNA/molecular/membrane computing, document engineering, editors, environments, experimental studies and practical experience, implementation of verification methods and model checking, industrial applications, natural language and speech processing, networking, new algorithms for manipulating automata, object-oriented modeling, pattern-matching, pushdown automata and context-free grammars, quantum computing, structured and semi-structured documents, symbolic manipulation environments for automata, transducers and multi-tape automata, techniques for graphical display of automata, VLSI, viruses and related phenomena, and world-wide Web.

Editors and Affiliations

  • Institut für Informatik, Universität Giessen, Giessen, Germany

    Markus Holzer, Martin Kutrib

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation