000 04829nam a22006255i 4500
001 978-3-540-30550-7
003 DE-He213
005 20240730183551.0
007 cr nn 008mamaa
008 100702s2005 gw | s |||| 0|eng d
020 _a9783540305507
_9978-3-540-30550-7
024 7 _a10.1007/b103739
_2doi
050 4 _aQA8.9-10.3
072 7 _aPBCD
_2bicssc
072 7 _aPBC
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aPBCD
_2thema
072 7 _aPBC
_2thema
082 0 4 _a511.3
_223
245 1 0 _aDevelopments in Language Theory
_h[electronic resource] :
_b8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings /
_cedited by Cristian S. Calude, Elena Calude, Michael J. Dinneen.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXII, 436 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3340
505 0 _aInvited 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 Fragmentof 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.
650 0 _aMathematical logic.
_92258
650 0 _aMachine theory.
_9132543
650 0 _aComputer science.
_99832
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aDiscrete mathematics.
_912873
650 1 4 _aMathematical Logic and Foundations.
_934712
650 2 4 _aFormal Languages and Automata Theory.
_9132544
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aTheory of Computation.
_9132545
650 2 4 _aDiscrete Mathematics in Computer Science.
_931837
700 1 _aCalude, Cristian S.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9132546
700 1 _aCalude, Elena.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9132547
700 1 _aDinneen, Michael J.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9132548
710 2 _aSpringerLink (Online service)
_9132549
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540240143
776 0 8 _iPrinted edition:
_z9783540805755
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3340
_923263
856 4 0 _uhttps://doi.org/10.1007/b103739
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c91932
_d91932