Table of contents

  1. Front Matter
  2. Morten Biehl, Nils Klarlund, Theis Rauhe
    Pages 6-25
  3. Romuald Boné, Christophe Daguin, Antoine Georgevail, Denis Maurel
    Pages 26-34
  4. James Glenn, William Gasarch
    Pages 50-63
  5. J. Howard Johnson, Derick Wood
    Pages 64-71
  6. J. -L. Ponty, D. Ziadi, J. -M. Champarnaud
    Pages 109-119
  7. Kai Salomaa, Sheng Yu
    Pages 149-158
  8. Barbara Schubert
    Pages 159-166
  9. Bruce W. Watson
    Pages 167-188
  10. Back Matter

About these proceedings


This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996.
The volume presents 13 revised full papers together with an introduction and survey. The papers explore the use of software tools in formal language theory; various issues involved in the implementation of automata of all types are discussed. As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book advocates the practice of theory in computer science.


Automat Automatenimplementierung Endliche Sprachen Formale Sprachen Programmiertheorie automata automata implementation computer finite languages finite-state automata formal language formal languages programming theory

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences