自动控制的实施与应用会议会议录 Implementation and application of automata

作者简介

This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of Automata, CIAA 2006, held in Taipei, Taiwan, in August 2006.　　The 22 revised full papers and 7 revised poster papers presented together with the extended abstracts of 3 invited lectures were carefully reviewed and selected from 76 submissions. The papers cover various topics in the theory, implementation, and applications of automata and related structures.

书籍目录

Invited Lectures  Information Distance and Its Applications  Theory Inspired by Gene Assembly in Ciliates  On the State Complexity of Combined OperationsTechnical Contributions  Path-Equivalent Removals of c-transitions in a Genomic Weighted Finite Automaton  Hybrid Extended Finite Automata  Refinement of Near Random Access Video Coding with Weighted　Finite Automata　Borders and Finite Automata　Finding Common Motifs with Gaps Using Finite Automata　Factor Oracles　Reducing Simple Grammars: Exponential Against Highly-Polynomial Time in Practice  Tiburon: A Weighted Tree Automata Toolkit  Around Hopcroft's Algorithm  Multi-tape Automata with Symbol Classes  On the Computation of Some Standard Distances Between Probabilistic Automata  Does o-Substitution Preserve Recognizability?  Correctness Preservation and Complexity of Simple RL-Automata  Bisimulation Minimization of Tree Automata  Forgetting Automata and Unary Languages  Structurally Unambiguous Finite Automata  Symbolic Implementation of Alternating Automata  On-the-Fly Branching Bisimulation Minimization for Compositional Analysis  Finite-State Temporal Projection  Compiling Linguistic Constraints into Finite State Automata  Shift-Resolve Parsing: Simple, Unbounded Lookahead, Linear Time  A Family of Alogorithms for Non Deterministic Regular Languages InferencePoster AbstractsAuthor Index

图书封面

 自动控制的实施与应用会议会议录 Implementation and application of automata下载