Implementation and Application of Automata
7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers
Published on 23. June 2003
Book
Paperback/Softback
XI, 310 pages
978-3-540-40391-3 (ISBN)
Description
The refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002. The 28 revised full papers presented together with an invited paper and 4 short papers were carefully selected during two rounds of reviewing and revision. The topics addressed range from theoretical and methodological issues to automata applications in software engineering, natural language processing, speech recognition, and image processing, to new representations and algorithms for efficient implementation of automata and related structures.
More details
Series
Edition
2003 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XI, 310 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 18 mm
Weight
493 gr
ISBN-13
978-3-540-40391-3 (9783540403913)
DOI
10.1007/3-540-44977-9
Schweitzer Classification
Other editions
Additional editions
Jean-Marc Champarnaud | Denis Maurel
Implementation and Application of Automata
7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers
E-Book
08/2003
Springer
€53.49
Available for download
Content
Invited Lecture.- Edit-Distance of Weighted Automata.- Technical Contributions.- p-Subsequentiable Transducers.- Bidirectional Push Down Automata.- Finite Automata and Non-self-Embedding Grammars.- Simulation of Gate Circuits in the Algebra of Transients.- The Number of Similarity Relations and the Number of Minimal Deterministic Finite Cover Automata.- Regex and Extended Regex.- Prime Decompositions of Regular Prefix Codes.- Implementation of Dictionaries via Automata and Decision Trees.- Feedback-Free Circuits in the Algebra of Transients.- On Minimizing Cover Automata for Finite Languages in O(n log n) Time.- Compilation of Constraint-Based Contextual Rules for Part-of-Speech Tagging into Finite State Transducers.- Finite State Lazy Operations in NLP.- State Complexity of Basic Operations on Nondeterministic Finite Automata.- Adaptive Automata - A Revisited Proposal.- Efficient Automaton-Based Recognition for Linear Conjunctive Languages.- Syntactic Semiring and Language Equations.- Reduced Power Automata.- A Polynomial Time Algorithm for Left [Right] Local Testability.- Whale Calf, a Parser Generator for Conjunctive Grammars.- automata, a Hybrid System for Computational Automata Theory.- A Package TESTAS for Checking Some Kinds of Testability.- DAWG versus Suffix Array.- On Predictive Parsing and Extended Context-Free Grammars.- Star Normal Form, Rational Expressions, and Glushkov WFAs Properties.- Comparison of Construction Algorithms for Minimal, Acyclic, Deterministic, Finite-State Automata from Sets of Strings.- Term Validation of Distributed Hard Real-Time Applications.- Common Subsequence Automaton.- Searching for Asymptotic Error Repair.- Abstracts.- Automata-Based Representations for Arithmetic Constraints in Automated Verification.- On the Implementation ofCompact DAWG's.- Dynamic Programming - NFA Simulation.- Deterministic Parsing of Cyclic Strings.