• 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
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära 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

    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 @ 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. Data och IT
      2. Systemvetenskap och AI
      3. Artificiell intelligens

      Implementation and Application of Automata

      9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers

      AvMichael Domaratzki,Alexander Okhotin

      Häftad, Engelska, 2005

      Del i serien Lecture Notes in Computer Science

      566 kr

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

      Beskrivning

      This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen’s University in Kingston, Ontario, Canada on July 22–24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other ?elds. The topics of the papers presented at the conference range from applications of automata in natural language and speech processing to protein sequencingandgenecompression,andfromstatecomplexityandnewalgorithms for automata operations to applications of quantum ?nite automata. The25regularpapersand14posterpaperswereselectedfrom62submissions totheconference.EachsubmittedpaperwasevaluatedbyatleastthreeProgram Committee members, with the help of external referees. Based on the referee reports, the paper “Substitutions, Trajectories and Noisy Channels” by L. Kari, S. Konstantinidis and P. Sos´ ?k was chosen as the winner of the CIAA 2004 Best Paper Award. The award is sponsored by the University of California at Santa Barbara. The authors of the papers presented here come from the following countries and regions: Austria, Canada, Czech Republic, Finland, France, Germany, Hong Kong, Netherlands, Portugal, Russia, Slovakia, South Africa, Spain, UK, and USA.

      Produktinformation

      • Utgivningsdatum:2005-01-31
      • Mått:155 x 235 x 20 mm
      • Vikt:540 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:336
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540243182

      Utforska kategorier

      • Artificiell intelligens inom Data och IT

      Innehållsförteckning

      • Invited Papers.- Automata-Theoretic Techniques for Analyzing Infinite-State Systems.- Enumerating Regular Expressions and Their Languages.- Contributed Papers.- A General Weighted Grammar Library.- On the Complexity of Hopcroft’s State Minimization Algorithm.- Implementation of Catalytic P Systems.- Code Selection by Tree Series Transducers.- Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages.- Brute Force Determinization of NFAs by Means of State Covers.- Computing the Follow Automaton of an Expression.- Viral Gene Compression: Complexity and Verification.- Concatenation State Machines and Simple Functions.- FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views.- Finding Finite Automata That Certify Termination of String Rewriting.- Linear Encoding Scheme for Weighted Finite Automata.- The Generalization of Generalized Automata: Expression Automata.- An Automata Approach to Match Gapped Sequence Tags Against Protein Database.- State Complexity of Concatenation and Complementation of Regular Languages.- Minimal Unambiguous ?NFA.- Substitutions, Trajectories and Noisy Channels.- State Complexity and the Monoid of Transformations of a Finite Set.- An Application of Quantum Finite Automata to Interactive Proof Systems (Extended Abstract).- Time and Space Efficient Algorithms for Constrained Sequence Alignment.- Stochastic Context-Free Graph Grammars for Glycoprotein Modelling.- Parametric Weighted Finite Automata for Figure Drawing.- Regional Finite-State Error Repair.- Approximating Dependency Grammars Through Intersection of Regular Languages.- On the Equivalence-Checking Problem for a Model of Programs Related With Multi-tape Automata.- Poster Papers.- Tight Bounds for NFA to DFCATransformations for Binary Alphabets.- Simulating the Process of Gene Assembly in Ciliates.- A BDD-Like Implementation of an Automata Package.- Approximation to the Smallest Regular Expression for a Given Regular Language.- Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory.- Does Hausdorff Dimension Measure Texture Complexity?.- Combining Regular Expressions with (Near-)Optimal Brzozowski Automata.- From Automata to Semilinear Sets: A Logical Solution for Sets ( , ).- Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids.- Minimalizations of NFA Using the Universal Automaton.- Two-Dimensional Pattern Matching by Two-Dimensional Online Tessellation Automata.- Size Reduction of Multitape Automata.- Testability of Oracle Automata.- Magic Numbers for Symmetric Difference NFAs.
      Hoppa över listan

      Du kanske också är intresserad av

      Kai Salomaa, Michael Domaratzki - Implementation and Application of Automata, E-bok

      Implementation and Application of Automata

      Kai Salomaa, Michael Domaratzki

      E-bok
      2011

      710 kr

      Sheng Yu, Kai Salomaa, Alexander Okhotin, Michael Domaratzki - Implementation and Application of Automata, E-bok

      Implementation and Application of Automata

      Sheng Yu, Kai Salomaa, Alexander Okhotin, Michael Domaratzki

      E-bok
      2004

      732 kr

      Michael Domaratzki, Kai Salomaa - Implementation and Application of Automata, Häftad

      Implementation and Application of Automata

      Michael Domaratzki, Kai Salomaa

      Häftad, 2011

      566 kr

      Kai Salomaa, Yo-Sub Han - Implementation and Application of Automata, E-bok

      Implementation and Application of Automata

      Kai Salomaa, Yo-Sub Han

      E-bok
      2016

      718 kr

      Yo-Sub Han, Kai Salomaa - Implementation and Application of Automata, Häftad
      Del 9705

      Implementation and Application of Automata

      Yo-Sub Han, Kai Salomaa

      Häftad, 2016

      551 kr

      Carlos Martín-Vide, Alexander Okhotin, Dana Shapira - Language and Automata Theory and Applications, Häftad
      Del 11417

      Language and Automata Theory and Applications

      Carlos Martín-Vide, Alexander Okhotin, Dana Shapira

      Häftad, 2019

      569 kr

      Dana Shapira, Alexander Okhotin, Carlos Martin-Vide - Language and Automata Theory and Applications, E-bok

      Language and Automata Theory and Applications

      Dana Shapira, Alexander Okhotin, Carlos Martin-Vide

      E-bok
      2019

      710 kr

      Jeffrey Shallit, Alexander Okhotin - Descriptional Complexity of Formal Systems, Häftad
      Del 9118

      Descriptional Complexity of Formal Systems

      Jeffrey Shallit, Alexander Okhotin

      Häftad, 2015

      551 kr

      Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin - Descriptional Complexity of Formal Systems, Häftad
      Del 8614

      Descriptional Complexity of Formal Systems

      Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin

      Häftad, 2014

      553 kr

      Alexander Okhotin, Jeffrey Shallit - Descriptional Complexity of Formal Systems, E-bok

      Descriptional Complexity of Formal Systems

      Alexander Okhotin, Jeffrey Shallit

      E-bok
      2015

      710 kr