2. WIA 1997: London, Ontario, Canada

Derick Wood, Sheng Yu (Eds.): Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers. Lecture Notes in Computer Science 1436 Springer 1998, ISBN 3-540-64694-9 BibTeX

@proceedings{DBLP:conf/wia/1997,
  editor    = {Derick Wood and
               Sheng Yu},
  title     = {Automata Implementation, Second International Workshop on Implementing
               Automata, WIA '97, London, Ontario, Canada, September 18-20,
               1997, Revised Papers},
  booktitle = {WIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1436},
  year      = {1998},
  isbn      = {3-540-64694-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Opening Address

Derick Wood: WIA and Theory and Practice. 1-6 BibTeX

Contributed Papers

Miguel A. Alonso, David Cabrero, Manuel Vilares Ferro: Construction of Efficient Generalized LR Parsers. 7-24 BibTeX
François Bertault, Gregory Kucherov: Visualization of Dynamic Automata Using Padnon. 25-28 BibTeX
Janusz A. Brzozowski, Radu Negulescu: Automata of Asynchronous Behaviors. 29-45 BibTeX
Pascal Caron: LANGAGE: A Maple Package for Automaton Characterization of Regular Languages. 46-55 BibTeX
Max H. Garzon, Y. Gao, John A. Rose, R. C. Murphy, Russell J. Deaton, Donald R. Franceschetti, Stanley Edward Stevens Jr.: In Vitro Implementation of Finite-State Machines. 56-74 BibTeX
James Glenn, William I. Gasarch: Implementing WS1S via Finite Automata: Performance Issues. 75-86 BibTeX
George Anton Kiraz, Edmund Grimley-Evans: Multi-tape Automata for Speech and Language Systems: A Prolog Implementation. 87-103 BibTeX
Vincent Le Maout: Tools to Implement Automata, a First Step: ASTL. 104-108 BibTeX
Helmut Lescow, Jens Vöge: Minimal Separating Sets for Muller Automata. 109-121 BibTeX
Denis Maurel, Laurent Chauvier: Pseudo-minimal Transducers: A Transducer with Proper Elements. 122-132 BibTeX
Charlotte L. Miller: Towards a Meta-Normal Form Algorithm for Context-Free Grammars. 133-143 BibTeX
Mehryar Mohri, Fernando C. N. Pereira, Michael Riley: A Rational Design for a Weighted Finite-State Transducer Library. 144-158 BibTeX
Jean-Luc Ponty: An Efficient Null-Free Procedure for Deciding Regular Language Membership. 159-170 BibTeX
Dominique Revuz: Operations on Extended Automata. 171-175 BibTeX
Kai Salomaa, Xiuming Wu, Sheng Yu: Efficient Implementation of Regular Languages Using R-AFA. 176-184 BibTeX
Max Silberztein: INTEX: An Integrated FST Toolbox. 185-197 BibTeX
A. N. Trahtman: A Precise Estimation of the Order of Local Testability of a Deterministic Finite Automaton. 198-212 BibTeX
Yuri Velinov: Teaching Theory of Computation with Tape Machines. 213-227 BibTeX
Jens Vöge, S. Ulbrand, Oliver Matz, Nils Buhrke: The Automata Theory Package omega. 228-231 BibTeX
Bruce W. Watson: Practical Optimizations for Automata. 232-240 BibTeX
Djelloul Ziadi: Sorting and Doubling Techniques for Set Partitioning and Automata Minimization Problems. 241-251 BibTeX