Skip to main content
  • Conference proceedings
  • © 2001

Automata Implementation

4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers

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

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

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

Table of contents (16 papers)

  1. Front Matter

    Pages I-VIII
  2. FA Minimisation Heuristics for a Class of Finite Languages

    • Jérôme Amilhastre, Philippe Janssen, Marie-Catherine Vilarem
    Pages 1-12
  3. SEA: A Symbolic Environment for Automata Theory

    • Philippe Andary, Pascal Caron, Jean-Marc Champarnaud, Gérard Duchamp, Marianne Flouret, Éric Laugerotte
    Pages 13-26
  4. Analysis of Reactive Systems with n Timers

    • Anne Bergeron, Riccardo Catalano
    Pages 27-38
  5. Animation of the Generation and Computation of Finite Automata for Learning Software

    • Beatrix Braune, Stephan Diehl, Andreas Kerren, Reinhard Wilhelm
    Pages 39-47
  6. Metric Lexical Analysis

    • Cristian S. Calude, Kai Salomaa, Sheng Yu
    Pages 48-59
  7. State Complexity of Basic Operations on Finite Languages

    • C. Câmpeanu, K. Culik II, Kai Salomaa, Sheng Yu
    Pages 60-70
  8. Treatment of Unknown Words

    • Jan Daciuk
    Pages 71-80
  9. Thompson Digraphs: A Characterization

    • Dora Giammarresi, Jean-Luc Ponty, Derick Wood
    Pages 91-100
  10. Finite Automata Encoding Geometric Figures

    • Helmut Jürgensen, Ludwig Staiger
    Pages 101-108
  11. Multiset Processing by Means of Systems of Finite State Transducers

    • Gheorghe Păun, Gabriel Thierrin
    Pages 140-157
  12. Back Matter

    Pages 183-183

Editors and Affiliations

  • Universität Potsdam, Institut für Informatik, Potsdam, Germany

    Oliver Boldt

  • Institut für Informatik, Universität Potsdam, Potsdam

    Helmut Jürgensen

  • Department of Computer Science, The University of Western Ontario, London, Canada

    Helmut Jürgensen

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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