LEADER 07591nam 22006375 450 001 9910789212003321 005 20200705000907.0 010 $a3-642-59126-4 024 7 $a10.1007/978-3-642-59126-6 035 $a(CKB)3400000000104632 035 $a(SSID)ssj0000934232 035 $a(PQKBManifestationID)11478896 035 $a(PQKBTitleCode)TC0000934232 035 $a(PQKBWorkID)10909205 035 $a(PQKB)11357266 035 $a(DE-He213)978-3-642-59126-6 035 $a(MiAaPQ)EBC3094126 035 $a(EXLCZ)993400000000104632 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHandbook of Formal Languages$b[electronic resource] $eVolume 3 Beyond Words /$fedited by Grzegorz Rozenberg, Arto Salomaa 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (XX, 625 p.) 300 $aIncludes index. 311 $a3-540-60649-1 311 $a3-642-63859-7 327 $aof Volume 3 -- 1. Tree Languages -- 1. Introduction -- 2. Trees and terms -- 3. Algebraic preliminaries -- 4. Term rewriting systems -- 5. Finite tree recognizers -- 6. Regular tree grammars -- 7. Tree language operations and closure properties of Rec -- 8. Local tree languages -- 9. A Kleene theorem for tree languages -- 10. Regular tree systems -- 11. Algebraic characterizations of recognizability -- 12. Monadic second-order logic and regular tree languages -- 13. Families of special regular tree languages -- 14. The yield-function and context-free languages -- 15. Context-free tree grammars and pushdown tree recognizers -- 16. Tree transformations and tree transducers -- 17. Composition and decomposition of tree transformations -- 18. Tree transducers with regular look-ahead -- 19. Generalized syntax directed translations -- 20. Surface tree languages -- 21. The hierarchies of surface tree languages and transformational languages -- 22. Some further topics -- References -- 2. Tree-Adjoining Grammars -- 1. Introduction -- 2. Tree-adjoining grammars -- 3. Lexicalized grammars -- 4. ?Lexicalization? of CFGs -- 5. Closure of TAGs under lexicalization -- 6. Summary of lexicalization -- 7. Embedded push-down automaton (EPDA) -- 8. Linguistic relevance -- 9. Some variants of TAGs -- 10. Parsing lexicalized tree-adjoining grammars (LTAG) -- 11 Summary -- References -- 3. Context-Free Graph Grammars -- 1. Introduction -- 2. Node and edge replacement -- 3. Hyperedge replacement grammars -- 4. Node replacement grammars -- 5. Monadic second order logic -- 6. Graph grammars generating strings and trees -- 7. Tree grammars generating graphs -- References -- 4. Two-Dimensional Languages -- 1. Introduction -- 2. Preliminaries -- 3. Regular expressions -- 4. Automata -- 5. Grammars -- 6. Logic formulas -- 7. Tiling systems -- 8. Equivalence theorems -- 9. Properties of recognizable languages -- 10. Recognizable functions -- 11. Beyond finite state recognizability -- References -- 5. Basics of Term Rewriting -- 1. Introduction -- 2. Terms -- 3. Church?Rosser properties -- 4. Orderings -- 5. Completion -- 6. Rewriting modulo a relation -- 7. Sundries -- References and further reading -- 6. ?-Languages -- 1. Introduction -- 2. Topology for languages and ?-languages -- 3. The Chomsky hierarchy of ?-languages -- 4. Languages and ?-languages -- 5. Wagner?s hierarchy -- References -- 7. Languages, Automata, and Logic -- 1. Introduction -- 2. Models and formulas -- 3. Automata and MSO-logic on finite words and trees -- 4. First-order definability -- 5. Automata and MSO-logic on infinite words -- 6. Automata and MSO-logic on infinite trees -- References -- 8. Partial Commutation and Traces -- 1. Introduction -- 2. Free partially commutative monoids -- 3. Combinatorial properties -- 4. Recognizable trace languages -- 5. Rational trace languages -- 6. Dependence graphs and logic -- 7. Asynchronous automata -- 8. Infinite traces -- References -- 9. Visual Models of Plant Development -- 1. Introduction -- 2. Developmental models of plant architecture -- 3. Formal description of branching structures -- 4. Fundamentals of modeling using L-systems -- 5. Random factors in development -- 6. Life, death, and reproduction -- 7. Development controlled by endogenous mechanisms -- 8. Development controlled by exogenous mechanisms -- 9. Conclusions -- 10. Acknowledgements -- References -- 10. Digital Images and Formal Languages -- 1. Introduction -- 2. Black and white images and finite automata -- 3. Grayscale images and WFA -- 4. Weighted finite transducers -- 5. Examples of WFT -- References. 330 $aThe need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when . the book Formal Languages by the second­ mentioned editor appeared, it was still quite feasible to write a comprehensive book with that title and include also topics of current research interest. This would not be possible anymore. A standard-sized book on formal languages would either have to stay on a fairly low level or else be specialized and restricted to some narrow sector of the field. The setup becomes drastically different in a collection of contributions, where the best authorities in the world join forces, each of them concentrat­ ing on their own areas of specialization. The present three-volume Handbook constitutes such a unique collection. In these three volumes we present the current state of the art in formal language theory. We were most satisfied with the enthusiastic response given to our request for contributions by specialists representing various subfields. The need for a Handbook of Formal Languages was in many answers expressed in different ways: as an easily accessible his­ torical reference, a general source of information, an overall course-aid, and a compact collection of material for self-study. We are convinced that the final result will satisfy such various needs. The theory of formal languages constitutes the stem or backbone of the field of science now generally known as theoretical computer science. 606 $aMathematical logic 606 $aCombinatorics 606 $aComputer graphics 606 $aProgramming languages (Electronic computers) 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aCombinatorics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29010 606 $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aMathematical logic. 615 0$aCombinatorics. 615 0$aComputer graphics. 615 0$aProgramming languages (Electronic computers). 615 14$aMathematical Logic and Formal Languages. 615 24$aCombinatorics. 615 24$aComputer Graphics. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.131 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSalomaa$b Arto$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910789212003321 996 $aHandbook of Formal Languages$93714558 997 $aUNINA