Lecture Notes in Computer Science

Free Preview

Implementation and Application of Automata

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

Editors: Ibarra, Oscar H., Dang, Zhe (Eds.)

Free Preview

Buy this book

eBook 67,40 €

price for Spain (gross)

Buy eBook

ISBN 978-3-540-45089-4
Digitally watermarked, DRM-free
Included format: PDF
ebooks can be used on all reading devices
Immediate eBook download after purchase

Softcover 83,19 €

price for Spain (gross)

Buy Softcover

ISBN 978-3-540-40561-0
Free shipping for individuals worldwide
Institutional customers should get in touch with their account manager
Please be advised Covid-19 shipping restrictions apply. Please review prior to ordering
Usually ready to be dispatched within 3 to 5 business days, if in stock
The final prices may differ from the prices shown due to specifics of VAT rules

About this book: 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.

Show all

Table of contents (33 chapters)

Table of contents (33 chapters)

Automata for Specifying Component Interfaces

Pages 1-2

Henzinger, Thomas A.

Preview
Automata on Words

Pages 3-11

Karhumäki, Juhani

Preview
Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications

Pages 11-22

Wallmeier, Nico (et al.)

Preview
Timing Parameter Characterization of Real-Time Systems

Pages 23-34

Wang, Farn (et al.)

Preview
Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata

Pages 35-48

Fritz, Carsten

Preview

From Regular Weighted Expressions to Finite Automata

Pages 49-60

Champarnaud, Jean-Marc (et al.)

Preview
Bideterministic Automata and Minimal Representations of Regular Languages

Pages 61-71

Tamm, Hellis (et al.)

Preview
Succinct Descriptions of Regular Languages with Binary ⊕-NFAs

Pages 72-82

Zijl, Lynette

Preview
An Efficient Pre-determinization Algorithm

Pages 83-95

Allauzen, Cyril (et al.)

Preview
Introducing Vaucanson

Pages 96-107

Lombardy, Sylvain (et al.)

Preview
WFSC — A New Weighted Finite State Compiler

Pages 108-119

Kempe, André (et al.)

Preview
Ternary Directed Acyclic Word Graphs

Pages 120-130

Miyamoto, Satoru (et al.)

Preview
Running Time Complexity of Printing an Acyclic Automaton

Pages 131-140

Guingne, Franck (et al.)

Preview
Reducing the Time Complexity of Testing for Local Threshold Testability

Pages 141-149

Trakhtman, Avraham

Preview
Branching Automata with Costs — A Way of Reflecting Parallelism in Costs

Pages 150-162

Kuske, Dietrich (et al.)

Preview
New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations

Pages 163-175

Xie, Gaoyan (et al.)

Preview
TCTL Inevitability Analysis of Dense-Time Systems

Pages 176-186

Wang, Farn (et al.)

Preview
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services

Pages 188-200

Fu, Xiang (et al.)

Preview Buy Chapter 25,95 €
Boolean Operations for Attribute-Element Constraints

Pages 201-212

Hosoya, Haruo (et al.)

Preview
XML Schema Containment Checking Based on Semi-implicit Techniques

Pages 213-225

Tozawa, Akihiko (et al.)

Preview
Weak Minimization of DFA — An Algorithm and Applications

Pages 226-238

Ravikumar, Bala

Preview
Bag Automata and Stochastic Retrieval of Biomolecules in Solution

Pages 239-250

Daley, Mark (et al.)

Preview
An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics

Pages 251-257

Fan, Tsai-Hung (et al.)

Preview
Robust Parsing Using Dynamic Programming

Pages 258-268

Vilares, Manuel (et al.)

Preview
LR Parsing for Global Index Languages (GILs)

Pages 269-281

Castaño, José M.

Preview

The Ehrenfeucht-Mycielski Sequence

Pages 282-293

Sutner, Klaus

Preview
The Longest Common Subsequence Problem A Finite Automata Approach

Pages 294-296

Melichar, Bořivoj (et al.)

Preview
AVA: An Applet for Visualizing FRACTRAN and Other Automata

Pages 297-298

Preston, Nathan (et al.)

Preview
Preliminary Experiments in Hardcoding Finite Automata

Pages 299-300

Ketcha Ngassam, E. (et al.)

Preview
Computational Linguistic Motivations for a Finite-State Machine Hierarchy

Pages 301-303

Kelly, Robert (et al.)

Preview
The Effect of Rewriting Regular Expressions on Their Accepting Automata

Pages 304-306

Frishert, Michiel (et al.)

Preview
Building Context-Sensitive Parsers from CF Grammars with Regular Control Language

Pages 306-308

Bravo, César (et al.)

Preview
Finite-State Molecular Computing

Pages 309-310

Unold, Olgierd (et al.)

Preview

Read this book on SpringerLink

Buy this book

eBook 67,40 €

price for Spain (gross)

Buy eBook

ISBN 978-3-540-45089-4
Digitally watermarked, DRM-free
Included format: PDF
ebooks can be used on all reading devices
Immediate eBook download after purchase

Softcover 83,19 €

price for Spain (gross)

Buy Softcover

ISBN 978-3-540-40561-0
Free shipping for individuals worldwide
Institutional customers should get in touch with their account manager
Please be advised Covid-19 shipping restrictions apply. Please review prior to ordering
Usually ready to be dispatched within 3 to 5 business days, if in stock
The final prices may differ from the prices shown due to specifics of VAT rules

Services for this Book

Download Product Flyer Download High-Resolution Cover

Recommended for you

Bibliographic Information

Bibliographic Information

Book Title

Implementation and Application of Automata

Book Subtitle

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

Editors

Oscar H. Ibarra
Zhe Dang

Series Title

Lecture Notes in Computer Science

Series Volume

2759

Copyright

2003

Publisher

Springer-Verlag Berlin Heidelberg

Copyright Holder

Springer-Verlag Berlin Heidelberg

eBook ISBN: 978-3-540-45089-4
DOI: 10.1007/3-540-45089-0
Softcover ISBN: 978-3-540-40561-0
Series ISSN: 0302-9743
Edition Number: 1

Number of Pages

XI, 316

Topics

Artificial Intelligence