Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures.This volume contains 24 regular papers from the 8th International Conference on Implementation and Application of Automata (CIAA 2003) held in Santa Barbara, CA, USA, in July 2003 covering various topics in the theory, implementation, and application of automata and related structures. It also includes the abstracts of two invited lectures as well as the abstracts of the poster papers displayed during the conference.

Produktinformation

Utgivningsdatum:2003-07-07
Mått:155 x 235 x 19 mm
Vikt:505 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:316
Upplaga:2003
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540405610

Utforska kategorier

Artificiell intelligens inom Data och IT

Innehållsförteckning

Invited Lectures.- Automata for Specifying Component Interfaces.- Automata on Words.- Regular Papers.- Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications.- Timing Parameter Characterization of Real-Time Systems.- Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata.- From Regular Weighted Expressions to Finite Automata.- Bideterministic Automata and Minimal Representations of Regular Languages.- Succinct Descriptions of Regular Languages with Binary ?-NFAs.- An Efficient Pre-determinization Algorithm.- Introducing Vaucanson.- WFSC — A New Weighted Finite State Compiler.- Ternary Directed Acyclic Word Graphs.- Running Time Complexity of Printing an Acyclic Automaton.- Reducing the Time Complexity of Testing for Local Threshold Testability.- Branching Automata with Costs — A Way of Reflecting Parallelism in Costs.- New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations.- TCTL Inevitability Analysis of Dense-Time Systems.- Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services.- Boolean Operations for Attribute-Element Constraints.- XML Schema Containment Checking Based on Semi-implicit Techniques.- Weak Minimization of DFA — An Algorithm and Applications.- Bag Automata and Stochastic Retrieval of Biomolecules in Solution.- An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics.- Robust Parsing Using Dynamic Programming.- LR Parsing for Global Index Languages (GILs).- The Ehrenfeucht-Mycielski Sequence.- Poster Paper.- The Longest Common Subsequence Problem A Finite Automata Approach.- AVA: An Applet for Visualizing FRACTRAN and OtherAutomata.- Preliminary Experiments in Hardcoding Finite Automata.- Computational Linguistic Motivations for a Finite-State Machine Hierarchy.- The Effect of Rewriting Regular Expressions on Their Accepting Automata.- Building Context-Sensitive Parsers from CF Grammars with Regular Control Language.- Finite-State Molecular Computing.

Mer från samma författare

Del 8553

Unconventional Computation and Natural Computation

Oscar H. Ibarra, Lila Kari, Steffen Kopecki

Häftad, 2014

571 kr

Unconventional Computation and Natural Computation

Steffen Kopecki, Lila Kari, Oscar H. Ibarra

E-bok

2014

739 kr

Developments in Language Theory

Oscar H. Ibarra, Zhe Dang

Häftad, 2006

554 kr

Developments in Language Theory

Zhe Dang, Oscar H. Ibarra

E-bok

2006

718 kr

Implementation and Application of Automata

Hsu-Chun Yen, Oscar H. Ibarra

E-bok

2006

739 kr

Computing and Combinatorics

Oscar H. Ibarra, Louxin Zhang

Häftad, 2002

1 102 kr

Implementation and Application of Automata

Zhe Dang, Oscar H. Ibarra

E-bok

2003

739 kr

Computing and Combinatorics

Louxin Zhang, Oscar H. Ibarra

E-bok

2003

1 427 kr

Algorithms and Computation

Oscar H. Ibarra, Kyung-Yong Chwa

E-bok

2003

718 kr

Algorithms and Computation

Kyung-Yong Chwa, Oscar H. Ibarra

Häftad, 1998

571 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Developments in Language Theory

Oscar H. Ibarra, Zhe Dang

Häftad, 2006

554 kr

Implementation and Application of Automata

Zhe Dang, Oscar H. Ibarra

E-bok

2003

739 kr

Developments in Language Theory

Zhe Dang, Oscar H. Ibarra

E-bok

2006

718 kr

Del 12803

Implementation and Application of Automata

Sebastian Maneth

Häftad, 2021

572 kr

Implementation and Application of Automata

Bruce Watson, Derick Wood

Häftad, 2003

572 kr

Implementation and Application of Automata

Sebastian Maneth

Häftad, 2009

571 kr

Implementation and Application of Automata

Stavros Konstantinidis

Häftad, 2013

554 kr

Implementation and Application of Automata

Sheng Yu, Andrei Paun

Häftad, 2001

571 kr

Del 15015

Implementation and Application of Automata

Szilárd Zsolt Fazekas

Häftad, 2024

853 kr

Implementation and Application of Automata

8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings

AvOscar H. Ibarra,Zhe Dang

Häftad, Engelska, 2003

Del i serien Lecture Notes in Computer Science

571 kr

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

Fler format och utgåvor

572 kr

572 kr

742 kr

742 kr

853 kr

751 kr

751 kr

554 kr

554 kr

554 kr

Beskrivning

Produktinformation

Utgivningsdatum:2003-07-07
Mått:155 x 235 x 19 mm
Vikt:505 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:316
Upplaga:2003
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540405610

Utforska kategorier

Artificiell intelligens inom Data och IT

Innehållsförteckning

Invited Lectures.- Automata for Specifying Component Interfaces.- Automata on Words.- Regular Papers.- Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications.- Timing Parameter Characterization of Real-Time Systems.- Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata.- From Regular Weighted Expressions to Finite Automata.- Bideterministic Automata and Minimal Representations of Regular Languages.- Succinct Descriptions of Regular Languages with Binary ?-NFAs.- An Efficient Pre-determinization Algorithm.- Introducing Vaucanson.- WFSC — A New Weighted Finite State Compiler.- Ternary Directed Acyclic Word Graphs.- Running Time Complexity of Printing an Acyclic Automaton.- Reducing the Time Complexity of Testing for Local Threshold Testability.- Branching Automata with Costs — A Way of Reflecting Parallelism in Costs.- New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations.- TCTL Inevitability Analysis of Dense-Time Systems.- Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services.- Boolean Operations for Attribute-Element Constraints.- XML Schema Containment Checking Based on Semi-implicit Techniques.- Weak Minimization of DFA — An Algorithm and Applications.- Bag Automata and Stochastic Retrieval of Biomolecules in Solution.- An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics.- Robust Parsing Using Dynamic Programming.- LR Parsing for Global Index Languages (GILs).- The Ehrenfeucht-Mycielski Sequence.- Poster Paper.- The Longest Common Subsequence Problem A Finite Automata Approach.- AVA: An Applet for Visualizing FRACTRAN and OtherAutomata.- Preliminary Experiments in Hardcoding Finite Automata.- Computational Linguistic Motivations for a Finite-State Machine Hierarchy.- The Effect of Rewriting Regular Expressions on Their Accepting Automata.- Building Context-Sensitive Parsers from CF Grammars with Regular Control Language.- Finite-State Molecular Computing.

Mer från samma författare

Del 8553

Unconventional Computation and Natural Computation

Oscar H. Ibarra, Lila Kari, Steffen Kopecki

Häftad, 2014

571 kr

Unconventional Computation and Natural Computation

Steffen Kopecki, Lila Kari, Oscar H. Ibarra

E-bok

2014

739 kr

Developments in Language Theory

Oscar H. Ibarra, Zhe Dang

Häftad, 2006

554 kr

Developments in Language Theory

Zhe Dang, Oscar H. Ibarra

E-bok

2006

718 kr

Implementation and Application of Automata

Hsu-Chun Yen, Oscar H. Ibarra

E-bok

2006

739 kr

Computing and Combinatorics

Oscar H. Ibarra, Louxin Zhang

Häftad, 2002

1 102 kr

Implementation and Application of Automata

Zhe Dang, Oscar H. Ibarra

E-bok

2003

739 kr

Computing and Combinatorics

Louxin Zhang, Oscar H. Ibarra

E-bok

2003

1 427 kr

Algorithms and Computation

Oscar H. Ibarra, Kyung-Yong Chwa

E-bok

2003

718 kr

Algorithms and Computation

Kyung-Yong Chwa, Oscar H. Ibarra

Häftad, 1998

571 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr