Skip to main content
SpringerLink
Log in
Book cover

Automata Implementation

First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Darrell Raymond
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Derick Wood
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Sheng Yu
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: WIA 1996.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. WIA and the practice of theory in computer science

    • Darrell Raymond
    Pages 1-5

  3. Algorithms for guided tree automata

    • Morten Biehl, Nils Klarlund, Theis Rauhe
    Pages 6-25

  4. Time series forecasting by finite-state automata

    • Romuald Boné, Christophe Daguin, Antoine Georgevail, Denis Maurel
    Pages 26-34

  5. Dynamical implementation of nondeterministic automata and concurrent systems

    • Max Garzon, Eugene Eberbach
    Pages 35-49

  6. Implementing WS1S via finite automata

    • James Glenn, William Gasarch
    Pages 50-63

  7. Instruction computation in subset construction

    • J. Howard Johnson, Derick Wood
    Pages 64-71

  8. Building automaton on schemata and acceptability tables

    • Denis Maurel
    Pages 72-86

  9. FSA utilities: A toolbox to manipulate finite-state automata

    • Gertjan van Noord
    Pages 87-108

  10. A new quadratic algorithm to convert a regular expression into an automaton

    • J. -L. Ponty, D. Ziadi, J. -M. Champarnaud
    Pages 109-119

  11. Implementing sequential and parallel programs for the homing sequence problem

    • B. Ravikumar, X. Xiong
    Pages 120-131

  12. Integrating hands-on work into the formal languages course via tools and programming

    • Susan H. Rodger
    Pages 132-148

  13. NFA to DFA transformation for finite languages

    • Kai Salomaa, Sheng Yu
    Pages 149-158

  14. How to use sorting procedures to minimize DFA

    • Barbara Schubert
    Pages 159-166

  15. FIRE Lite: FAs and REs in C++

    • Bruce W. Watson
    Pages 167-188

  16. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation