LEADER 04541nam 22006615 450 001 996466082503316 005 20200629234839.0 010 $a3-540-69104-9 024 7 $a10.1007/BFb0031375 035 $a(CKB)1000000000234812 035 $a(SSID)ssj0000321488 035 $a(PQKBManifestationID)11271153 035 $a(PQKBTitleCode)TC0000321488 035 $a(PQKBWorkID)10280347 035 $a(PQKB)11776645 035 $a(DE-He213)978-3-540-69104-4 035 $a(PPN)155194984 035 $a(EXLCZ)991000000000234812 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomata Implementation$b[electronic resource] $eSecond International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers /$fedited by Derick Wood, Sheng Yu 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998. 215 $a1 online resource (IX, 259 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1436 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-64694-9 327 $aWIA and theory and practice -- Construction of efficient generalized LR parsers -- Visualization of dynamic automata using Padnon -- Automata of asynchronous behaviors -- LANGAGE: A Maple package for automaton characterization of regular languages -- In vitro implementation of finite-state machines -- Implementing WS1S via finite automata: Performance issues -- Multi-tape automata for speech and language systems: A prolog implementation -- Tools to implement automata, a first step: ASTL -- Minimal separating sets for Muller automata -- Pseudo-minimal transducers: A transducer with proper elements -- Towards a meta-normal form algorithm for context-free grammars -- A rational design for a weighted finite-state transducer library -- An efficient null-free procedure for deciding regular language membership -- Operations on extended automata -- Efficient implementation of regular languages using r-AFA -- INTEX: An integrated FST toolbox -- Precise estimation of the order of local testability of a deterministic finite automaton -- Teaching theory of computation with tape machines -- The automata theory package omega -- Practical optimizations for automata -- Sorting and doubling techniques for set partitioning and automata minimization problems. 330 $aThis book constitutes the thoroughly refereed revised post-workshop proceedings of the Second International Workshop on Implementing Automata, WIA'97, held in London, Ontario, Canada, in September 1997. The book presents 21 revised full papers carefully reviewed and selected for inclusion in the book; also included is an introductory overview. The papers discuss issues involved in the implementation of automata of all types also covering aspects from areas such as natural language processing, pattern matching, speaker recognition, VLSI testing, etc. This book reflects the state-of-the-art in this emerging area of interdisciplinary research. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1436 606 $aArtificial intelligence 606 $aComputers 606 $aMathematical logic 606 $aPattern recognition 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aMathematical logic. 615 0$aPattern recognition. 615 14$aArtificial Intelligence. 615 24$aComputation by Abstract Devices. 615 24$aMathematical Logic and Formal Languages. 615 24$aPattern Recognition. 676 $a511.3 702 $aWood$b Derick$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYu$b Sheng$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Implementing Automata 906 $aBOOK 912 $a996466082503316 996 $aAutomata Implementation$91971451 997 $aUNISA