Implementation and Application of Automata

16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings

  • Béatrice Bouchou-Markhoff
  • Pascal Caron
  • Jean-Marc Champarnaud
  • Denis Maurel
Conference proceedings CIAA 2011

DOI: 10.1007/978-3-642-22256-6

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

Table of contents (27 papers)

  1. Front Matter
  2. Invited Lectures

    1. Streamable Fragments of Forward XPath
      Olivier Gauwin, Joachim Niehren
      Pages 3-15
    2. Gaining Power by Input Operations: Finite Automata and Beyond
      Markus Holzer, Martin Kutrib
      Pages 16-29
  3. Technical Contributions

    1. Weak Inclusion for XML Types
      Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari, Pierre Réty
      Pages 30-41
    2. Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages
      Denis Béchet, Alexandre Dikovsky, Annie Foret
      Pages 42-52
    3. Nondeterministic Moore Automata and Brzozowski’s Algorithm
      Giusi Castiglione, Antonio Restivo, Marinella Sciortino
      Pages 88-99
    4. Building Phylogeny with Minimal Absent Words
      Supaporn Chairungsee, Maxime Crochemore
      Pages 100-109
    5. On the Hardness of Priority Synthesis
      Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois Knoll
      Pages 110-117
    6. Smaller Representation of Finite State Automata
      Jan Daciuk, Dawid Weiss
      Pages 118-129
    7. Compositional Failure Detection in Structured Transition Systems
      Ingo Felscher, Wolfgang Thomas
      Pages 130-141
    8. Chrobak Normal Form Revisited, with Applications
      Paweł Gawrychowski
      Pages 142-153
    9. Loops and Overloops for Tree Walking Automata
      Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
      Pages 166-177
    10. Nondeterministic State Complexity of Star-Free Languages
      Markus Holzer, Martin Kutrib, Katja Meckel
      Pages 178-189
    11. Computing All ℓ-Cover Automata Fast
      Artur Jeż, Andreas Maletti
      Pages 203-214

About these proceedings


This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011.
The 20 revised full papers together with 4 short papers were carefully selected from 38 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; document engineering and bioinformatics as well as foundational work on automata theory.


XML schema cellular automata computational complexity hash functions regular expression compilation

Editors and affiliations

  • Béatrice Bouchou-Markhoff
    • 1
  • Pascal Caron
    • 2
  • Jean-Marc Champarnaud
    • 2
  • Denis Maurel
    • 3
  1. 1.Université Francois Rabelais ToursBloisFrance
  2. 2.LITIS, Université de RouenSaint-Étienne du Rouvray CedexFrance
  3. 3.LI (Computer Laboratory), EPU-DIToursFrance

Bibliographic information

  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22255-9
  • Online ISBN 978-3-642-22256-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349