05264nam 22007695 450 99646537780331620240223001614.03-540-46011-X10.1007/3-540-46011-X(CKB)1000000000211694(SSID)ssj0000322560(PQKBManifestationID)11246297(PQKBTitleCode)TC0000322560(PQKBWorkID)10287687(PQKB)10246204(DE-He213)978-3-540-46011-4(MiAaPQ)EBC3072182(PPN)155169289(EXLCZ)99100000000021169420121227d2002 u| 0engurnn#008mamaatxtccrDevelopments in Language Theory[electronic resource] 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers /edited by Werner Kuich, Grzegorz Rozenberg, Arto Salomaa1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (IX, 389 p.)Lecture Notes in Computer Science,0302-9743 ;2295Bibliographic Level Mode of Issuance: Monograph3-540-43453-4 Includes biographical references and index.Invited 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.Lecture Notes in Computer Science,0302-9743 ;2295Programming languages (Electronic computers)Mathematical logicComputersComputer logicProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming languages (Electronic computers).Mathematical logic.Computers.Computer logic.Programming Languages, Compilers, Interpreters.Mathematical Logic and Foundations.Theory of Computation.Mathematical Logic and Formal Languages.Computation by Abstract Devices.Logics and Meanings of Programs.511.3Kuich Werner1941-edthttp://id.loc.gov/vocabulary/relators/edtRozenberg Grzegorzedthttp://id.loc.gov/vocabulary/relators/edtSalomaa Artoedthttp://id.loc.gov/vocabulary/relators/edtConference on Developments in Language TheoryMiAaPQMiAaPQMiAaPQBOOK996465377803316Developments in Language Theory772277UNISA