Tools

LEADER 03275cam 2200397 a 4500

001 ocm39281995;

003 OCoLC;

005 20141212131416.0;

008 980605s1998 gw a b 101 0 eng ;

010 a| 98028505;

015 a| GB98-52381;

019 a| 39533374;

020 a| 3540646949 (softcover : alk. paper);

035 a| (Sirsi) o39281995;

035 a| (OCoLC)39281995;

049 a| EREE;

050 00 a| QA267b| .I5787 1997;

082 00 a| 511.32| 21;

111 2 a| International Workshop on Implementing Automatan| (2nd :d| 1997 :c| London, Ont.)?| UNAUTHORIZED;

245 10 a| Automata implementation :b| Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 : revised papers /c| Derick Wood, Sheng Yu (eds.).;

300 a| viii, 251 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1436;

504 a| Includes bibliographical references and index.;

505 0 a| WIA and theory and practice / D. Wood -- Construction of efficient generalized LR parsers / M.A. Alonso, D. Cabrero and M. Vilares -- Visualization of dynamic automata using padnon / F. Bertault and G. Kucherov -- Automata of aynchronous behaviors / J.A. Brzozowski and R. Negulescu -- LANGAGE : a maple package for automation characterization of regular languages / P. Caron -- In vitro implementation of finite-state machines / M. Garzon ... [et al.] -- Implementing WS1S via finite automata : performance issues / J. Glenn and W. Gasarch -- Multi-tape automata for speech and language systems : a prolog implementation / G.A. Kiraz and E. Grimley-Evans -- Tools to implement automata, a first step ASTL / V. Le Maout -- Minimal separating sets for Muller automata / H. Lescow and J. Vöge -- Pseudo-minimal transducers : a transducer with proper elements / D. Maurel and L. Chauvier -- Towards a meta-normal form algorithm for context-free grammars / C.L. Miller -- A rational design for a weighted finite-state transducer library / M. Mohri, F. Pereira and m. Riley -- An efficient null-free procedure for deciding regular languge membership / J.L. Ponty -- Operations on extended automata / D. Revuz -- Efficient implementation of regular languages using R-AFA / K. Salomaa, X. Wu and S. Yu -- INTEX : an integrated FST toolbox / M. Silberztein -- A precise estimation of the order of local testability of a deterministic finite automaton / A.N. Trahtman -- Teaching theory of computation with tape machines / Y. Velinov -- The automata theory package omega / J. Vöge ... [et al.] -- Practical optimizations for automata / B.W. Watson -- Sorting and doubling techniques for set partitioning and automata minimization problems / D. Ziadi.;

650 0 a| Machine theoryv| Congresses.=| ^A44837;

700 1 a| Wood, Derick,d| 1940-=| ^A127142;

700 1 a| Yu, Sheng.=| ^A505053;

830 0 a| Lecture notes in computer sciencev| 1436.=| ^A466336;

596 a| 1;

998 a| 648580;

999 a| QA267 .I5787 1997w| LCc| 1i| 30372010259718d| 8/9/1999l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 4/21/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Automata implementation : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 : revised papers / Derick Wood, Sheng Yu (eds.).

Author/creator	International Workshop on Implementing Automata
Other author	Wood, Derick, 1940-
Other author	Yu, Sheng.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	viii, 251 pages : illustrations ; 24 cm.
Subjects	Machine theory--Congresses.

Series	Lecture notes in computer science ; 1436 Lecture notes in computer science 1436. ^A466336
Contents	WIA and theory and practice / D. Wood -- Construction of efficient generalized LR parsers / M.A. Alonso, D. Cabrero and M. Vilares -- Visualization of dynamic automata using padnon / F. Bertault and G. Kucherov -- Automata of aynchronous behaviors / J.A. Brzozowski and R. Negulescu -- LANGAGE : a maple package for automation characterization of regular languages / P. Caron -- In vitro implementation of finite-state machines / M. Garzon ... [et al.] -- Implementing WS1S via finite automata : performance issues / J. Glenn and W. Gasarch -- Multi-tape automata for speech and language systems : a prolog implementation / G.A. Kiraz and E. Grimley-Evans -- Tools to implement automata, a first step ASTL / V. Le Maout -- Minimal separating sets for Muller automata / H. Lescow and J. Vöge -- Pseudo-minimal transducers : a transducer with proper elements / D. Maurel and L. Chauvier -- Towards a meta-normal form algorithm for context-free grammars / C.L. Miller -- A rational design for a weighted finite-state transducer library / M. Mohri, F. Pereira and m. Riley -- An efficient null-free procedure for deciding regular languge membership / J.L. Ponty -- Operations on extended automata / D. Revuz -- Efficient implementation of regular languages using R-AFA / K. Salomaa, X. Wu and S. Yu -- INTEX : an integrated FST toolbox / M. Silberztein -- A precise estimation of the order of local testability of a deterministic finite automaton / A.N. Trahtman -- Teaching theory of computation with tape machines / Y. Velinov -- The automata theory package omega / J. Vöge ... [et al.] -- Practical optimizations for automata / B.W. Watson -- Sorting and doubling techniques for set partitioning and automata minimization problems / D. Ziadi.
Bibliography note	Includes bibliographical references and index.
LCCN	98028505
ISBN	3540646949 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA267 .I5787 1997	✔ Available	Place Hold

Automata implementation : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 : revised papers / Derick Wood, Sheng Yu (eds.).

Click here for more information about this title

Availability