Developments in language theory [electronic resource] : 14th international conference, DLT 2010, London, ON, Canada, August 17-20, 2010 : proceedings / Yuan Gao [and others] (eds.).
- Conference Author:
- Conference on Developments in Language Theory (14th : 2010 : London, Ont.)
- Additional Titles:
- DLT 2010
- Published:
- Berlin : Springer, 2010.
- Physical Description:
- 1 online resource (xii, 446 pages) : illustrations
- Additional Creators:
- China (Republic : 1949- ). Gao deng fa yuan
- Access Online:
- ezaccess.libraries.psu.edu
- Series:
- Lecture notes in computer science, 0302-9743 ; 6224
LNCS sublibrary: SL 1 - Theoretical computer science and general issues - Contents:
- Machine generated contents note: Invited Talks -- Reaction Systems: A Model of Computation Inspired by Biochemistry / Grzegorz Rozenberg -- A Brief Excursion Inside the Class of Tiling Recognizable Two-Dimensional Languages / Dora Giammarresi -- The Complexity of Regular(-Like) Expressions / Martin Kutrib -- On Decision Problems for Simple and Parameterized Machines / Oscar H. Ibarra -- DNA Computing and Its Implications for Theoretical Computer Science / Lila Kari -- Numeration Systems: A Link between Number Theory and Formal Language Theory / Michel Rigo -- Regular Papers -- Algorithmic Properties of Millstream Systems / Frank Drewes -- On a Conjecture by Carpi and D'Alessandro / Mikhail V. Berlinkov -- Linking Algebraic Observational Equivalence and Bisimulation / Narjes Ben Rajeb -- Undecidability and Hierarchy Results for Parallel Communicating Finite Automata / Andreas Malcher -- Inclusion Problems for Patterns with a Bounded Number of Variables / Dominik D. Freydenberger -- On the Average Number of States of Partial Derivative Automata / Rogerio Reis -- On the Hybrid Cerny-Road Coloring Problem and Hamiltonian Paths / Flavio D'Alessandro -- Computing Blocker Sets for the Regular Post Embedding Problem / Philippe Schnoebelen -- Rankers over Infinite Words (Extended Abstract) / Alexander Lauser -- Kleene and Buchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices / Heiko Vogler -- On Muller Context-Free Grammars / Szabolcs Ivan -- Minimization of Deterministic Bottom-Up Tree Transducers / Sebastian Maneth -- Two-Way Unary Automata versus Logarithmic Space / Giovanni Pighizzini -- On the Periodicity of Morphic Words / Michel Rigo -- Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups / Christian Mathissen -- Using Light to Implement Parallel Boolean Algebra / Tom Head -- Periodicity in Tilings / Pascal Vanier -- Complexity in Union-Free Regular Languages / Tomas Masopust -- Schema for Parallel Insertion and Deletion / Shinnosuke Seki -- On Schutzenberger Products of Semirings / Libor Polak -- On Language Equations XXK = XXL and XM = N over a Unary Alphabet / Alexander Okhotin -- Around Dot Depth Two / Simoni S. Shah -- Input Products for Weighted Extended Top-Down Tree Transducers / Andreas Maletti -- Regular Hedge Language Factorization Revisited / Temur Kutsia -- Fast Parsing for Boolean Grammars: A Generalization of Valiant's Algorithm / Alexander Okhotin -- On Lexicalized Well-Behaved Restarting Automata That Are Monotone / Frantisek Mraz -- On a Powerful Class of Non-universal P Systems with Active Membranes / Claudio Zandron -- State Complexity of Prefix, Suffix, Bifix and Infix Operators on Regular Languages / Emanuele Rodaro -- Restricted Ambiguity of Erasing Morphisms / Johannes C. Schneider -- Automata with Extremal Minimality Conditions / Roberto Vaglica -- On the Existence of Minimal β-Powers / Arseny M. Shur -- The Averaging Trick and the Cerny Conjecture / Benjamin Steinberg -- Short Papers -- Pseudo-power Avoidance / Zhi Xu -- On Restricted Context-Free Grammars / Tomas Masopust -- Graphs Capturing Alternations in Words / Artem Pyatkin -- On the Iterated Hairpin Completion / Steffen Kopecki -- On Lookahead Hierarchies for Monotone and Deterministic Restarting Automata with Auxiliary Symbols (Extended Abstract) / Natalie Schluter -- Joint Topologies for Finite and Infinite Words / Ludwig Staiger.
- Subject(s):
- ISBN:
- 9783642144554
3642144551 - Note:
- AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
- Bibliography Note:
- Includes bibliographical references and index.
View MARC record | catkey: 6762673