Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Implementation and Application of Automata: 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers > The Generalization of Generalized Automata: Expression Automata
Implementation and Application of Automata: 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers |
Michael Domaratzki; Alexander Okhotin; Kai Salomaa; Sheng Yu
Springer Berlin Heidelberg
Implementation and Application of Automata: 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers
The Generalization of Generalized Automata: Expression Automata
Authors

Yo-Sub Han; Derick Wood

ARI Id

1674219953229_4276679

Access

Not Available Free

Pages

156-166

DOI

10.1007/978-3-540-30500-2_15

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-30500-2_15

Table of Contents of Book
Showing 1 to 20 of 43 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Automata-Theoretic Techniques for Analyzing Infinite-State Systems
Oscar H. Ibarra
1-1
Enumerating Regular Expressions and Their Languages
Jonathan Lee; Jeffrey Shallit
2-22
A General Weighted Grammar Library
Cyril Allauzen; Mehryar Mohri; Brian Roark
23-34
On the Complexity of Hopcroft’s State Minimization Algorithm
Jean Berstel; Olivier Carton
35-44
Implementation of Catalytic P Systems
Aneta Binder; Rudolf Freund; Georg Lojka; Marion Oswald
45-56
Code Selection by Tree Series Transducers
Björn Borchardt
57-67
Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages
Henning Bordihn; Markus Holzer; Martin Kutrib
68-79
Brute Force Determinization of NFAs by Means of State Covers
Jean-Marc Champarnaud; Fabien Coulon; Thomas Paranthoën
80-89
Computing the Follow Automaton of an Expression
Jean-Marc Champarnaud; Florent Nicart; Djelloul Ziadi
90-101
Viral Gene Compression: Complexity and Verification
Mark Daley; Ian McQuillan
102-112
Concatenation State Machines and Simple Functions
Wojciech Debski; Wojciech Fraczak
113-124
FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views
Michiel Frishert; Loek Cleophas; Bruce W. Watson
125-133
Finding Finite Automata That Certify Termination of String Rewriting
Alfons Geser; Dieter Hofbauer; Johannes Waldmann; Hans Zantema
134-145
Linear Encoding Scheme for Weighted Finite Automata
Mathieu Giraud; Dominique Lavenier
146-155
The Generalization of Generalized Automata: Expression Automata
Yo-Sub Han; Derick Wood
156-166
An Automata Approach to Match Gapped Sequence Tags Against Protein Database
Yonghua Han; Bin Ma; Kaizhong Zhang
167-177
State Complexity of Concatenation and Complementation of Regular Languages
Jozef Jirásek; Galina Jirásková; Alexander Szabari
178-189
Minimal Unambiguous εNFA
Sebastian John
190-201
Substitutions, Trajectories and Noisy Channels
Lila Kari; Stavros Konstantinidis; Petr Sosík
202-212
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 43 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings