LEADER 05264nam 22007695 450 001 996465377803316 005 20240223001614.0 010 $a3-540-46011-X 024 7 $a10.1007/3-540-46011-X 035 $a(CKB)1000000000211694 035 $a(SSID)ssj0000322560 035 $a(PQKBManifestationID)11246297 035 $a(PQKBTitleCode)TC0000322560 035 $a(PQKBWorkID)10287687 035 $a(PQKB)10246204 035 $a(DE-He213)978-3-540-46011-4 035 $a(MiAaPQ)EBC3072182 035 $a(PPN)155169289 035 $a(EXLCZ)991000000000211694 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDevelopments in Language Theory$b[electronic resource] $e5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers /$fedited by Werner Kuich, Grzegorz Rozenberg, Arto Salomaa 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (IX, 389 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2295 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43453-4 320 $aIncludes biographical references and index. 327 $aInvited Presentations -- Automata: From Uncertainty to Quantum -- Elementary Theory of Ordinals with Addition and Left Translation by ? -- The Equational Theory of Fixed Points with Applications to Generalized Language Theory -- Second-Order Logic over Strings: Regular and Non-regular Fragments -- Decision Questions on Integer Matrices -- Some Petri Net Languages and Codes -- Words, Permutations, and Representations of Numbers -- Proof Complexity of Pigeonhole Principles -- Words and Patterns -- A Short Introduction to Infinite Automata -- Contributions -- The Power of One-Letter Rational Languages -- The Entropy of Lukasiewicz-Languages -- Collapsing Words vs. Synchronizing Words -- A Note on Synchronized Automata and Road Coloring Problem -- Shuffle Quotient and Decompositions -- The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages -- Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable -- Automata on Series-Parallel Biposets -- Hierarchies of String Languages Generated by Deterministic Tree Transducers -- Partially-Ordered Two-Way Automata: A New Characterization of DA -- Level 5/2 of the Straubing-Thérien Hierarchy for Two-Letter Alphabets -- On the Power of Randomized Pushdown Automata -- The Root of a Language and Its Complexity -- Valuated and Valence Grammars: An Algebraic View -- Context-Free Valence Grammars - Revisited -- An Undecidability Result Concerning Periodic Morphisms -- A Universal Turing Machine with 3 States and 9 Symbols -- Minimal Covers of Formal Languages -- Some Regular Languages That Are Church-Rosser Congruential -- On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy -- Forbidden Factors and Fragment Assembly -- Parallel Communicating Grammar Systems with Incomplete Information Communication -- Eliminating Communication by Parallel Rewriting -- String Rewriting Sequential P-Systems and Regulated Rewriting. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2295 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aComputers 606 $aComputer logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 0$aComputers. 615 0$aComputer logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Foundations. 615 24$aTheory of Computation. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputation by Abstract Devices. 615 24$aLogics and Meanings of Programs. 676 $a511.3 702 $aKuich$b Werner$f1941-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSalomaa$b Arto$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aConference on Developments in Language Theory 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465377803316 996 $aDevelopments in Language Theory$9772277 997 $aUNISA