Derick Wood, Sheng Yu
Revised Papers of the Second International Workshop on Implementing Automata
WIA, 1997.

@proceedings{WIA-1997,
	address       = "London, Ontario, Canada",
	editor        = "Derick Wood and Sheng Yu",
	isbn          = "3-540-64694-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Papers of the Second International Workshop on Implementing Automata}",
	volume        = 1436,
	year          = 1997,
}

Contents (22 items)

12 ×#automaton
4 ×#finite
4 ×#implementation
4 ×#performance
3 ×#regular expression
2 ×#named
2 ×#set
2 ×#transducer
2 ×#using

WIA-1997-Wood #theory and practice

WIA and Theory and Practice (DW), pp. 1–6.

WIA-1997-AlonsoCF #glr #parsing #performance

Construction of Efficient Generalized LR Parsers (MAA, DC, MVF), pp. 7–24.

WIA-1997-BertaultK #automaton #using #visualisation

Visualization of Dynamic Automata Using Padnon (FB, GK), pp. 25–28.

WIA-1997-BrzozowskiN #automaton #behaviour

Automata of Asynchronous Behaviors (JAB, RN), pp. 29–45.

WIA-1997-Caron #automaton #named #regular expression

LANGAGE: A Maple Package for Automaton Characterization of Regular Languages (PC), pp. 46–55.

WIA-1997-GarzonGRMDFS #finite #implementation #state machine

In Vitro Implementation of Finite-State Machines (MHG, YG, JAR, RCM, RJD, DRF, SESJ), pp. 56–74.

WIA-1997-GlennG #automaton #finite #implementation #performance

Implementing WS1S via Finite Automata: Performance Issues (JG, WIG), pp. 75–86.

WIA-1997-KirazE #automaton #implementation #multi #prolog #speech

Multi-tape Automata for Speech and Language Systems: A Prolog Implementation (GAK, EGE), pp. 87–103.

WIA-1997-Maout #automaton #tool support

Tools to Implement Automata, a First Step: ASTL (VLM), pp. 104–108.

WIA-1997-LescowV #automaton #set

Minimal Separating Sets for Muller Automata (HL, JV), pp. 109–121.

WIA-1997-MaurelC #pseudo #transducer

Pseudo-minimal Transducers: A Transducer with Proper Elements (DM, LC), pp. 122–132.

WIA-1997-Miller #algorithm #context-free grammar #normalisation #towards

Towards a Meta-Normal Form Algorithm for Context-Free Grammars (CLM), pp. 133–143.

WIA-1997-MohriPR #design #finite #library #transducer

A Rational Design for a Weighted Finite-State Transducer Library (MM, FCNP, MR), pp. 144–158.

WIA-1997-Ponty #performance #regular expression

An Efficient Null-Free Procedure for Deciding Regular Language Membership (JLP), pp. 159–170.

WIA-1997-Revuz #automaton

Operations on Extended Automata (DR), pp. 171–175.

WIA-1997-SalomaaWY #implementation #performance #regular expression #using

Efficient Implementation of Regular Languages Using R-AFA (KS, XW, SY), pp. 176–184.

WIA-1997-Silberztein #named

INTEX: An Integrated FST Toolbox (MS), pp. 185–197.

WIA-1997-Trahtman #automaton #estimation #finite #order #precise #testing

A Precise Estimation of the Order of Local Testability of a Deterministic Finite Automaton (ANT), pp. 198–212.

WIA-1997-Velinov #education

Teaching Theory of Computation with Tape Machines (YV), pp. 213–227.

WIA-1997-VogeUMB #automaton

The Automata Theory Package omega (JV, SU, OM, NB), pp. 228–231.

WIA-1997-Watson #automaton #optimisation

Practical Optimizations for Automata (BWW), pp. 232–240.

WIA-1997-Ziadi #automaton #clustering #problem #set #sorting

Sorting and Doubling Techniques for Set Partitioning and Automata Minimization Problems (DZ), pp. 241–251.