自動控制的實施與應(yīng)用會議會議錄 Implementation and application of automata

內(nèi)容概要

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

圖書封面

評論、評分、閱讀與下載

---

    自動控制的實施與應(yīng)用會議會議錄 Implementation and application of automata PDF格式下載

---