Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007708602/catalog> ?p ?o. }

• catalog abstract "This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996. The volume presents 13 revised full papers together with an introduction and survey. The papers explore the use of software tools in formal language theory; various issues involved in the implementation of automata of all types are discussed. As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book advocates the practice of theory in computer science.".
• catalog alternative "WIA '96".
• catalog contributor b10657409.
• catalog contributor b10657410.
• catalog contributor b10657411.
• catalog contributor b10657412.
• catalog created "c1997.".
• catalog date "1997".
• catalog date "c1997.".
• catalog dateCopyrighted "c1997.".
• catalog description "Includes bibliographical references and index.".
• catalog description "This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996. The volume presents 13 revised full papers together with an introduction and survey. The papers explore the use of software tools in formal language theory; various issues involved in the implementation of automata of all types are discussed. As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book advocates the practice of theory in computer science.".
• catalog description "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. Boné [and others] -- 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.".
• catalog extent "viii, 188 p. :".
• catalog identifier "3540631747 (pbk. : alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1260".
• catalog issued "1997".
• catalog issued "c1997.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "511.3 21".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "Machine theory Congresses.".
• catalog subject "QA267 .I5787 1996".
• catalog tableOfContents "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. Boné [and others] -- 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.".
• catalog title "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.).".
• catalog title "WIA '96".
• catalog type "Conference proceedings. fast".
• catalog type "London (Ontario, 1996) swd".
• catalog type "text".