Skip to main content
SpringerLink
Log in

Automata Implementation

Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Derick Wood
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. 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 1436)

Included in the following conference series:

Conference proceedings info: WIA 1997.

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 (22 papers)

  1. Front Matter

    Download chapter PDF

  2. WIA and theory and practice

    • Derick Wood
    Pages 1-6

  3. Construction of efficient generalized LR parsers

    • Miguel A. Alonso, David Cabrero, Manuel Vilares
    Pages 7-24

  4. Visualization of dynamic automata using Padnon

    • François Bertault, Gregory Kucherov
    Pages 25-28

  5. Automata of asynchronous behaviors

    • J. A. Brzozowski, R. Negulescu
    Pages 29-45

  6. LANGAGE: A Maple package for automaton characterization of regular languages

    • Pascal Caron
    Pages 46-55

  7. In vitro implementation of finite-state machines

    • M. Garzon, Y. Gao, J. A. Rose, R. C. Murphy, R. Deaton, D. R. Franceschetti et al.
    Pages 56-74

  8. Implementing WS1S via finite automata: Performance issues

    • James Glenn, William Gasarch
    Pages 75-86

  9. Multi-tape automata for speech and language systems: A prolog implementation

    • George Anton Kiraz, Edmund Grimley-Evans
    Pages 87-103

  10. Tools to implement automata, a first step: ASTL

    • Vincent Le Maout
    Pages 104-108

  11. Minimal separating sets for Muller automata

    • Helmut Lescow, Jens Vöge
    Pages 109-121

  12. Pseudo-minimal transducers: A transducer with proper elements

    • Denis Maurel, Laurent Chauvier
    Pages 122-132

  13. Towards a meta-normal form algorithm for context-free grammars

    • Charlotte L. Miller
    Pages 133-143

  14. A rational design for a weighted finite-state transducer library

    • Mehryar Mohri, Fernando Pereira, Michael Riley
    Pages 144-158

  15. An efficient null-free procedure for deciding regular language membership

    • J. -L. Ponty
    Pages 159-170

  16. Operations on extended automata

    • Dominique Revuz
    Pages 171-175

  17. Efficient implementation of regular languages using r-AFA

    • K. Salomaa, X. Wu, S. Yu
    Pages 176-184

  18. INTEX: An integrated FST toolbox

    • Max Silberztein
    Pages 185-197

  19. Precise estimation of the order of local testability of a deterministic finite automaton

    • A. N. Trahtman
    Pages 198-212

  20. Teaching theory of computation with tape machines

    • Y. Velinov
    Pages 213-227
Back to top

Keywords

About this book

This book constitutes the thoroughly refereed revised post-workshop proceedings of the Second International Workshop on Implementing Automata, WIA'97, held in London, Ontario, Canada, in September 1997.
The book presents 21 revised full papers carefully reviewed and selected for inclusion in the book; also included is an introductory overview. The papers discuss issues involved in the implementation of automata of all types also covering aspects from areas such as natural language processing, pattern matching, speaker recognition, VLSI testing, etc. This book reflects the state-of-the-art in this emerging area of interdisciplinary research.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation