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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63174-3
  • Online ISBN 978-3-540-69205-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site