Overview
- Editors:
-
-
Shen Yu
-
Department of Computer Science, Middlesex College, The University of Western Ontario, London, Canada
-
Andrei Păun
-
Department of Computer Science, Middlesex College, The University of Western Ontario, London, Canada
Access this book
Other ways to access
About this book
The Fifth International Conference on Implementation and Application of - tomata (CIAA 2000) was held at the University of Western Ontario in London, Ontario, Canada on July 24-25, 2000. This conference series was formerly called the International Workshop on Implementing Automata (WIA) This volume of the Lecture Notes in Computer Science series contains all the papers that were presented at CIAA 2000, and also the abstracts of the poster papers that were displayed during the conference. The conference addressed issues in automata application and implemen- tion. The topics of the papers presented at this conference ranged from automata applications in software engineering, natural language and speech recognition, and image processing, to new representations and algorithms for e cient imp- mentation of automata and related structures. Automata theory is one of the oldest areas in computer science. Research in automata theory has always been motivated by its applications since its early stages of development. In the 1960s and 1970s, automata research was moti- ted heavily by problems arising from compiler construction, circuit design, string matching, etc. In recent years, many new applications have been found in various areas of computer science as well as in other disciplines. Examples of the new applications include statecharts in object-oriented modeling, nite transducers in natural language processing, and nondeterministic nite-state models in c- munication protocols. Many of the new applications do not and cannot simply apply the existing models and algorithms in automata theory to their problems.
Similar content being viewed by others
Table of contents (35 papers)
-
-
Invited Lectures
-
- David Harel, Hillel Kugler
Pages 1-33
-
-
Technical Contributions
-
- Anne Bergeron, Sylvie Hamel
Pages 47-56
-
- Anne Brüggemann-Klein, Derick Wood
Pages 57-66
-
- Pascal Caron, Marianne Flouret
Pages 67-79
-
-
- Jean-Marc Champarnaud, D. Ziadi
Pages 94-104
-
-
- Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski
Pages 113-121
-
- Jacques Farré, José Fortes Gálvez
Pages 122-134
-
-
-
- Oscar H. Ibarra, Jianwen Su
Pages 157-169
-
-
- Nils Klarlund, Anders Møller, Michael I. Schwartzbach
Pages 182-194
-
-
-
- Stoyan Mihov, Denis Maurel
Pages 217-229
-
Editors and Affiliations
-
Department of Computer Science, Middlesex College, The University of Western Ontario, London, Canada
Shen Yu,
Andrei Păun