000			05017nam a22006135i 4500
001			978-3-642-14455-4
003			DE-He213
005			20240423125747.0
007			cr nn 008mamaa
008			100814s2010 gw | s |||| 0|eng d
020			_a9783642144554 _9978-3-642-14455-4
024	7		_a10.1007/978-3-642-14455-4 _2doi
050		4	_aQA76.6-76.66
072		7	_aUM _2bicssc
072		7	_aCOM051000 _2bisacsh
072		7	_aUM _2thema
082	0	4	_a005.11 _223
245	1	0	_aDevelopments in Language Theory _h[electronic resource] : _b14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings / _cedited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu.
250			_a1st ed. 2010.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2010.
300			_aXII, 446 p. 48 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v6224
505	0		_aInvited Talks -- Reaction Systems: A Model of Computation Inspired by Biochemistry -- A Brief Excursion Inside the Class of Tiling Recognizable Two-Dimensional Languages -- The Complexity of Regular(-Like) Expressions -- On Decision Problems for Simple and Parameterized Machines -- DNA Computing and Its Implications for Theoretical Computer Science -- Numeration Systems: A Link between Number Theory and Formal Language Theory -- Regular Papers -- Algorithmic Properties of Millstream Systems -- On a Conjecture by Carpi and D’Alessandro -- Linking Algebraic Observational Equivalence and Bisimulation -- Undecidability and Hierarchy Results for Parallel Communicating Finite Automata -- Inclusion Problems for Patterns with a Bounded Number of Variables -- On the Average Number of States of Partial Derivative Automata -- On the Hybrid ?erný-Road Coloring Problem and Hamiltonian Paths -- Computing Blocker Sets for the Regular Post Embedding Problem -- Rankers over Infinite Words -- Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices -- On Müller Context-Free Grammars -- Minimization of Deterministic Bottom-Up Tree Transducers -- Two-Way Unary Automata versus Logarithmic Space -- On the Periodicity of Morphic Words -- Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups -- Using Light to Implement Parallel Boolean Algebra -- Periodicity in Tilings -- Complexity in Union-Free Regular Languages -- Schema for Parallel Insertion and Deletion -- On Schützenberger Products of Semirings -- On Language Equations XXK?=?XXL and XM?=?N over a Unary Alphabet -- Around Dot Depth Two -- Input Products for Weighted Extended Top-Down Tree Transducers -- Regular Hedge Language Factorization Revisited -- Fast Parsing forBoolean Grammars: A Generalization of Valiant’s Algorithm -- On Lexicalized Well-Behaved Restarting Automata That Are Monotone -- On a Powerful Class of Non-universal P Systems with Active Membranes -- State Complexity of Prefix, Suffix, Bifix and Infix Operators on Regular Languages -- Restricted Ambiguity of Erasing Morphisms -- Automata with Extremal Minimality Conditions -- On the Existence of Minimal ?-Powers -- The Averaging Trick and the ?erný Conjecture -- Short Papers -- Pseudo-power Avoidance -- On Restricted Context-Free Grammars -- Graphs Capturing Alternations in Words -- On the Iterated Hairpin Completion -- On Lookahead Hierarchies for Monotone and Deterministic Restarting Automata with Auxiliary Symbols (Extended Abstract) -- Joint Topologies for Finite and Infinite Words.
650		0	_aComputer programming.
650		0	_aCompilers (Computer programs).
650		0	_aComputer science.
650		0	_aAlgorithms.
650		0	_aMachine theory.
650	1	4	_aProgramming Techniques.
650	2	4	_aCompilers and Interpreters.
650	2	4	_aTheory of Computation.
650	2	4	_aAlgorithms.
650	2	4	_aFormal Languages and Automata Theory.
700	1		_aGao, Yuan. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aLu, Hanlin. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aSeki, Shinnosuke. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aYu, Sheng. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783642144547
776	0	8	_iPrinted edition: _z9783642144561
830		0	_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v6224
856	4	0	_uhttps://doi.org/10.1007/978-3-642-14455-4
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c181427 _d181427