Tools

LEADER 02717cam 2200385 a 4500

001 ocm37213533;

003 OCoLC;

005 20141212124735.0;

008 970619s1997 gw a b 101 0 eng ;

010 a| 97022637;

020 a| 3540631747 (pbk. : alk. paper);

035 a| (Sirsi) o37213533;

035 a| (OCoLC)37213533;

049 a| EREE;

050 00 a| QA267b| .I5787 1996;

082 00 a| 511.32| 21;

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

245 10 a| Automata implementation :b| First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers /c| Darrell Raymond, Derick Wood, Sheng Yu (eds.).;

300 a| viii, 188 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| 1260;

504 a| Includes bibliographical references and index.;

505 0 a| WIA and the practice of theory in computer science / D.R. Raymond -- Algorithms for guided tree automata / M. Biehl, N. Klarlund, and T. Rauhe -- Time series forecasting by finite-state automata / R. Boné ... [et al.] -- Dynamical implementation of nondeterministic automata and concurrent systems / M. Garzon and E. Eberbach -- Implementing WS1S via finite automata / J. Glenn and W. Gasarch -- Instruction computation in subset construction / J.H. Johnson and D. Wood -- Building automata on schemata and acceptability tables : application to French data adverbials / D. Maurel -- FSA utilities : a toolbox to manipulate finite-state automata / G. van Noord -- A new quadratic algorithm to convert a regular expression into an automaton / J.-L. Ponty, D. Ziadi, and J.-M. Champarnaud -- Implementing sequential and parallel programs for the homing sequence problem / B. Ravikumar and X. Xiong -- Integrating hands-on work into the formal languages course via tools and programming / S.H. Rodger -- NFA to DFA transformation for finite languages / K. Salomaa and S. Yu -- How to use sorting procedures to minimize DFA / B. Schubert -- FIRE lite : FAs and REs in C++ / B.W. Watson.;

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

700 1 a| Raymond, Darrell Ronald.=| ^A394657;

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

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

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

596 a| 1;

998 a| 623813;

999 a| QA267 .I5787 1996w| LCc| 1i| 30372009485167d| 2/8/1998l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 1/14/1998x| BOOKz| JSTACKSo| .STAFF. 0;

Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers / Darrell Raymond, Derick Wood, Sheng Yu (eds.).

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

Series	Lecture notes in computer science ; 1260 Lecture notes in computer science 1260. ^A466336
Contents	WIA and the practice of theory in computer science / D.R. Raymond -- Algorithms for guided tree automata / M. Biehl, N. Klarlund, and T. Rauhe -- Time series forecasting by finite-state automata / R. Boné ... [et al.] -- Dynamical implementation of nondeterministic automata and concurrent systems / M. Garzon and E. Eberbach -- Implementing WS1S via finite automata / J. Glenn and W. Gasarch -- Instruction computation in subset construction / J.H. Johnson and D. Wood -- Building automata on schemata and acceptability tables : application to French data adverbials / D. Maurel -- FSA utilities : a toolbox to manipulate finite-state automata / G. van Noord -- A new quadratic algorithm to convert a regular expression into an automaton / J.-L. Ponty, D. Ziadi, and J.-M. Champarnaud -- Implementing sequential and parallel programs for the homing sequence problem / B. Ravikumar and X. Xiong -- Integrating hands-on work into the formal languages course via tools and programming / S.H. Rodger -- NFA to DFA transformation for finite languages / K. Salomaa and S. Yu -- How to use sorting procedures to minimize DFA / B. Schubert -- FIRE lite : FAs and REs in C++ / B.W. Watson.
Bibliography note	Includes bibliographical references and index.
LCCN	97022637
ISBN	3540631747 (pbk. : alk. paper)

Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers / Darrell Raymond, Derick Wood, Sheng Yu (eds.).

Click here for more information about this title