© 2005

Implementation and Application of Automata

9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers

  • Michael Domaratzki
  • Alexander Okhotin
  • Kai Salomaa
  • Sheng Yu
Conference proceedings CIAA 2004

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Contributed Papers

    1. Cyril Allauzen, Mehryar Mohri, Brian Roark
      Pages 23-34
    2. Jean Berstel, Olivier Carton
      Pages 35-44
    3. Aneta Binder, Rudolf Freund, Georg Lojka, Marion Oswald
      Pages 45-56
    4. Björn Borchardt
      Pages 57-67
    5. Henning Bordihn, Markus Holzer, Martin Kutrib
      Pages 68-79
    6. Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën
      Pages 80-89
    7. Jean-Marc Champarnaud, Florent Nicart, Djelloul Ziadi
      Pages 90-101
    8. Mark Daley, Ian McQuillan
      Pages 102-112
    9. Wojciech Debski, Wojciech Fraczak
      Pages 113-124
    10. Michiel Frishert, Loek Cleophas, Bruce W. Watson
      Pages 125-133
    11. Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema
      Pages 134-145
    12. Mathieu Giraud, Dominique Lavenier
      Pages 146-155
    13. Yonghua Han, Bin Ma, Kaizhong Zhang
      Pages 167-177
    14. Jozef Jirásek, Galina Jirásková, Alexander Szabari
      Pages 178-189
    15. Sebastian John
      Pages 190-201
    16. Lila Kari, Stavros Konstantinidis, Petr Sosík
      Pages 202-212

About these proceedings


This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen’s University in Kingston, Ontario, Canada on July 22–24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other ?elds. The topics of the papers presented at the conference range from applications of automata in natural language and speech processing to protein sequencingandgenecompression,andfromstatecomplexityandnewalgorithms for automata operations to applications of quantum ?nite automata. The25regularpapersand14posterpaperswereselectedfrom62submissions totheconference.EachsubmittedpaperwasevaluatedbyatleastthreeProgram Committee members, with the help of external referees. Based on the referee reports, the paper “Substitutions, Trajectories and Noisy Channels” by L. Kari, S. Konstantinidis and P. Sos´ ?k was chosen as the winner of the CIAA 2004 Best Paper Award. The award is sponsored by the University of California at Santa Barbara. The authors of the papers presented here come from the following countries and regions: Austria, Canada, Czech Republic, Finland, France, Germany, Hong Kong, Netherlands, Portugal, Russia, Slovakia, South Africa, Spain, UK, and USA.


Alphabet Pattern Matching algorithms automata complexity complexity theory concatenation state machines finite automata finite-state systems gene compression grammar modeling regular expressions speech processing term rewriting

Editors and affiliations

  • Michael Domaratzki
    • 1
  • Alexander Okhotin
    • 2
  • Kai Salomaa
    • 3
  • Sheng Yu
    • 4
  1. 1.Department of Computer ScienceUniversity of ManitobaWinnipegCanada
  2. 2.Department of MathematicsUniversity of TurkuFinland
  3. 3.School of ComputingQueen’s UniversityKingston, OntarioCanada
  4. 4.Department of Computer ScienceUniversity of Western OntarioLondonCanada

Bibliographic information