• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel & pussel

Upp till 25% på utvalda nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Naturvetenskap och teknik
    2. Matematik och naturvetenskap
    3. Matematik

    Developments in Language Theory

    6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers

    AvMasami Ito,Masafumi Toyama

    Häftad, Engelska, 2003

    Del i serien Lecture Notes in Computer Science

    547 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    The refereed proceedings of the 6th International Conference on Developments in Language Theory, DLT 2002, held in Kyoto, Japan in September 2002. The 28 revised full papers presented together with 8 invited papers were carefully reviewed and selected from 63 submissions. Among the topics addressed are grammars and acceptors for strings, graphs, arrays, etc; efficient algorithms for languages; combinatorial and algebraic properties of languages; decision problems; relations to complexity theory, logic picture description and analysis, DNA computing, cryptography, concurrency, quantum computing, and algebraic systems.

    Produktinformation

    • Utgivningsdatum:2003-06-20
    • Mått:155 x 233 x 25 mm
    • Vikt:674 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:438
    • Upplaga:2003
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540404316

    Utforska kategorier

    • Matematik inom Naturvetenskap och teknik

    Innehållsförteckning

    • Invited Presentations.- Computational Processes in Living Cells: Gene Assembly in Ciliates.- Experimental Quantum Computation with Molecules.- Efficient Transformations from Regular Expressions to Finite Automata.- Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators.- A Remark about Quadratic Trace Equations.- Infinite Snake Tiling Problems.- Decision Problems for Linear and Circular Splicing Systems.- Finite Automata Models of Quantized Systems: Conceptual Status and Outlook.- Automata on Linear Orderings.- Contributions.- Some Properties of Ciliate Bio-operations.- On the Descriptional Complexity of Some Variants of Lindenmayer Systems.- Carriers and Counters.- On the Separation between k-Party and (k - 1)-Party Nondeterministic Message Complexities.- Unary Language Operations and Their Nondeterministic State Complexity.- Constructing Infinite Words of Intermediate Complexity.- A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines.- Undecidability of Weak Bisimilarity for PA-Processes.- Improved Bounds on the Number of Automata Accepting Finite Languages.- Roots and Powers of Regular Languages.- Innermost Termination of Context-Sensitive Rewriting.- A Unique Structure of Two-Generated Binary Equality Sets.- On Deterministic Finite Automata and Syntactic Monoid Size.- An Inverse Automata Algorithm for Recognizing 2-Collapsing Words.- Efficient Algorithm for Checking Multiplicity Equivalence for the Finite Z - ?*-Automata.- Some Remarks on Asynchronous Automata.- Tiling Systems over Infinite Pictures and Their Acceptance Conditions.- The Average Lengths of the Factors of the Standard Factorization of Lyndon Words.- Circular Words Avoiding Patterns.- Safety Verification for Two-Way Finite Automata withMonotonic Counters.- An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton.- On the Structure of Graphic DLI-Sets.- Finite Completion of Comma-Free Codes. Part I.- On a Family of Codes with Bounded Deciphering Delay.- Abstract Families of Graphs.- Automaton Representation of Linear Conjunctive Languages.- On-Line Odometers for Two-Sided Symbolic Dynamical Systems.- Characteristic Semigroups of Directable Automata.