05381nam 22007095 450 99646634360331620200630010604.03-540-30550-510.1007/b103739(CKB)1000000000212641(SSID)ssj0000138104(PQKBManifestationID)11148253(PQKBTitleCode)TC0000138104(PQKBWorkID)10096925(PQKB)11753403(DE-He213)978-3-540-30550-7(MiAaPQ)EBC3068279(PPN)134123506(EXLCZ)99100000000021264120100702d2005 u| 0engurnn#008mamaatxtccrDevelopments in Language Theory[electronic resource] 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings /edited by Cristian S. Calude, Elena Calude, Michael J. Dinneen1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XII, 436 p.)Lecture Notes in Computer Science,0302-9743 ;3340Bibliographic Level Mode of Issuance: Monograph3-540-24014-4 Includes bibliographical references and index.Invited Papers -- Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic and Topological Models for DNA Recombinant Processes -- Contributed Papers -- Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet -- On Competence in CD Grammar Systems -- The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels -- Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages -- On the Maximum Coefficients of Rational Formal Series in Commuting Variables -- On Codes Defined by Bio-operations -- Avoidable Sets and Well Quasi-Orders -- A Ciliate Bio-operation and Language Families -- Semantic Shuffle on and Deletion Along Trajectories -- Sturmian Graphs and a Conjecture of Moser -- P Systems Working in the Sequential Mode on Arrays and Strings -- Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings -- The Power of Maximal Parallelism in P Systems -- An Efficient Pattern Matching Algorithm on a Subclass of Context Free Grammars -- On the Complexity of 2-Monotone Restarting Automata -- On Left-Monotone Deterministic Restarting Automata -- On the Computation Power of Finite Automata in Two-Dimensional Environments -- The Role of the Complementarity Relation in Watson-Crick Automata and Sticker Systems -- The Boolean Closure of Linear Context-Free Languages -- Context-Sensitive Decision Problems in Groups -- Decidability and Complexity in Automatic Monoids -- Relating Tree Series Transducers and Weighted Tree Automata -- An NP-Complete Fragment of LTL -- From Post Systems to the Reachability Problems for Matrix Semigroups and Multicounter Automata -- Words Avoiding -Powers and the Thue–Morse Morphism -- On the Equivalence Problem for E-Pattern Languages Over Small Alphabets -- Complementation of Rational Sets on Countable Scattered Linear Orderings -- On the Hausdorff Measure of ?-Power Languages -- A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages -- Tissue P Systems with Minimal Symport/Antiport.Lecture Notes in Computer Science,0302-9743 ;3340Mathematical logicComputer logicComputersComputer science—MathematicsMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Discrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Mathematical logic.Computer logic.Computers.Computer science—Mathematics.Mathematical Logic and Foundations.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Computation by Abstract Devices.Discrete Mathematics in Computer Science.005.13/1Calude Cristian Sedthttp://id.loc.gov/vocabulary/relators/edtCalude Elenaedthttp://id.loc.gov/vocabulary/relators/edtDinneen Michael Jedthttp://id.loc.gov/vocabulary/relators/edtConference on Developments in Language TheoryBOOK996466343603316Developments in Language Theory772277UNISA