LEADER 06800nam 22007935 450 001 9910484260603321 005 20251226200024.0 010 $a3-540-30550-5 024 7 $a10.1007/b103739 035 $a(CKB)1000000000212641 035 $a(SSID)ssj0000138104 035 $a(PQKBManifestationID)11148253 035 $a(PQKBTitleCode)TC0000138104 035 $a(PQKBWorkID)10096925 035 $a(PQKB)11753403 035 $a(DE-He213)978-3-540-30550-7 035 $a(MiAaPQ)EBC3068279 035 $a(PPN)134123506 035 $a(BIP)11357026 035 $a(EXLCZ)991000000000212641 100 $a20100702d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDevelopments in Language Theory $e8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings /$fedited by Cristian S. Calude, Elena Calude, Michael J. Dinneen 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 436 p.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v3340 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-24014-4 320 $aIncludes bibliographical references and index. 327 $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. 330 $aThe main subjects of the Developments in Language Theory (DLT) conf- ence series are formal languages, automata, conventional and unconventional computation theory, and applications of automata and language theory. T- ical, but not exclusive, topics of interest include: grammars and acceptors for strings, graphs, and arrays; e'cient text algorithms; combinatorial and al- braic properties of languages; decision problems; relations to complexity theory andlogic;picturedescriptionandanalysis;cryptography;concurrency;andDNA and quantum computing. The members of the steering committee of DLT are: J. Berstel (Paris), M. Ito(Kyoto),W. Kuich(Vienna),G. P? aun(BucharestandSeville),A. Restivo (Palermo), G. Rozenberg (chair, Leiden), A. Salomaa (Turku) and W. Thomas (Aachen). The ?rst DLT conference was organized by G. Rozenberg and A. Salomaa in Turku in 1993. After this, the DLT conferences were held in every odd year: Magdeburg(1995),Thessaloniki(1997),Aachen(1999)andVienna(2001). Since 2001, a DLT conference has been organized in every odd year in Europe and in every even year outside Europe. The last two DLT conferences were organized in Kyoto, Japan in 2002 and Szeged, Hungary in 2003. The titles of the volumes of the past DLT conferences are the following: 1. Developments in Language Theory. At the Crossroads of Mathematics, C- puter Science and Biology (edited by G. Rozenberg and A. Salomaa) (1994) (World Scienti'c) 2. Developments in Language Theory II. At the Crossroads of Mathematics, Computer Science and Biology (edited by J. Dassow, G. Rozenberg and A. Salomaa) (1996) (World Scienti'c) 3. Proceedings of the Third International Conference on Developments in L- guageTheory(editedbyS. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v3340 606 $aMathematical logic 606 $aMachine theory 606 $aComputer science 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aMathematical Logic and Foundations 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aTheory of Computation 606 $aDiscrete Mathematics in Computer Science 615 0$aMathematical logic. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 14$aMathematical Logic and Foundations. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aTheory of Computation. 615 24$aDiscrete Mathematics in Computer Science. 676 $a005.13/1 701 $aCalude$b Cristian$f1952-$0286700 701 $aCalude$b Elena$01755850 701 $aDinneen$b M. J.$f1957-$01755851 712 12$aConference on Developments in Language Theory. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484260603321 996 $aDevelopments in language theory$94192820 997 $aUNINA