04935nam 22007575 450 99646559990331620230406053022.01-280-38307-097866135609883-642-02737-710.1007/978-3-642-02737-6(CKB)1000000000761234(SSID)ssj0000317188(PQKBManifestationID)11923522(PQKBTitleCode)TC0000317188(PQKBWorkID)10294280(PQKB)10812689(DE-He213)978-3-642-02737-6(MiAaPQ)EBC3064331(PPN)136307086(EXLCZ)99100000000076123420100301d2009 u| 0engurnn|008mamaatxtccrDevelopments in Language Theory[electronic resource] 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings /edited by Volker Diekert, Dirk Nowotka1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XIII, 503 p.) Theoretical Computer Science and General Issues,2512-2029 ;5583Bibliographic Level Mode of Issuance: Monograph3-642-02736-9 Includes bibliographical references and index.Invited Talks -- Factorization Forests -- Weighted versus Probabilistic Logics -- Post Correspondence Problem and Small Dimensional Matrices -- Size Complexity of Two-Way Finite Automata -- Matrix Mortality and the ?erný-Pin Conjecture -- Regular Papers -- A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata -- Regular Languages Definable by Majority Quantifiers with Two Variables -- The Inclusion Problem of Context-Free Languages: Some Tractable Cases -- On the Complexity of Deciding Avoidability of Sets of Partial Words -- Closures in Formal Languages and Kuratowski’s Theorem -- Rich and Periodic-Like Words -- Traces of Control-Flow Graphs -- Left and Right Synchronous Relations -- An Extension of the Lyndon Schützenberger Result to Pseudoperiodic Words -- Asymptotic Cellular Complexity -- Strongly Regular Grammars and Regular Approximation of Context-Free Languages -- Powers of Regular Languages -- Existence and Nonexistence of Descriptive Patterns -- On Stateless Multihead Finite Automata and Multihead Pushdown Automata -- On Negative Bases -- Crucial Words for Abelian Powers -- Tight Bounds on the Descriptional Complexity of Regular Expressions -- Subshifts, Languages and Logic -- Magic Numbers and Ternary Alphabet -- The Pumping Lemma for Well-Nested Multiple Context-Free Languages -- The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable -- A Game-Theoretic Characterization of Boolean Grammars -- Word Equations with One Unknown -- On Equations over Sets of Numbers and Their Limitations -- Some Remarks on Superposition Based on Watson-Crick-Like Complementarity -- A Weighted ?-Calculus on Words -- Branching-Time Temporal Logics with Minimal Model Quantifiers -- Simulations by Time-Bounded Counter Machines -- Weighted Timed MSO Logics -- Balanced Words Having Simple Burrows-Wheeler Transform -- On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations -- Definability in the Infix Order on Words -- Two-Sided Bounds for the Growth Rates of Power-Free Languages -- On the Decidability of the Equivalence for a Certain Class of Transducers -- Erasing in Petri Net Languages and Matrix Grammars.Theoretical Computer Science and General Issues,2512-2029 ;5583Machine theoryComputer scienceAlgorithmsComputer science—MathematicsDiscrete mathematicsFormal Languages and Automata TheoryTheory of ComputationAlgorithmsMathematics of ComputingSymbolic and Algebraic ManipulationDiscrete Mathematics in Computer ScienceMachine theory.Computer science.Algorithms.Computer science—Mathematics.Discrete mathematics.Formal Languages and Automata Theory.Theory of Computation.Algorithms.Mathematics of Computing.Symbolic and Algebraic Manipulation.Discrete Mathematics in Computer Science.005.131Diekert Volkeredthttp://id.loc.gov/vocabulary/relators/edtNowotka Dirkedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465599903316Developments in Language Theory772277UNISA