Revised Papers of the Second International Workshop on Implementing Automata
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.