自動機的實現(xiàn)與應(yīng)用/會議錄Implementation and Application of Automata

內(nèi)容概要

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Deep Structure, Singularities, and Computer Vision, DSSCV 2005, held in Maastricht, The Netherlands in June 2005.    The 14 revised full papers and 8 revised poster papers presented were carefully reviewed and selected for inclusion in the book. They represent the current state-of-the-art in understanding the relation between structural, topological information represented by singularities and metric information of signals, shapes, images, and colors.

書籍目錄

Invited Papers  Automata-Theoretic Techniques for Analyzing Infinite-Systems Oscar H.Ibarra  Enumerating Regular Expressions and Their LanguagesContributed Papers  A General Weighted Grammar Library  On the Complexity of Hopcrof's State Minimization Algoritm  Implem entation of Catalytic P Systems  Code Selection by Tree Series Transducers  Some Non-Semi-decidability Problems for Linear and Deterministic Context-Free Languages  Brute force Determinization of NFAS by Means of State Covers  Computing the Follow Automaton of an Expression   Viral Gene Compression: Complexity and Verification   Concatenation State Machines and Simple Functions  FIRE Station:An Environment for Manipulating  Finite Automata and Regular Expression Views  Finding Finite Automata That Certify Termination of String Rewriting   Linear Encoding Scheme for Weighted Finite Automata   The Generalization of Generalized Automata:Expression Automata  An Automata Approach to Match Gapped Sequence Tags Against Protein Database  State Complexity of Concatenation and Complementation of Regular Languages  Minimal Unambiguous NFA  Substitutions ,Trajectories and Noisy Channels  State Complexity and the Monoid of Transformations of a Finite Set  An Application of Quantum Finite Automata to Interactive Proof Systems  Time and Space Efficient Algorithms for Constrained Sequence Alignment  Stochastic Context-Free Graph Grammars for Glycoprotein Modelling   Parametric Weighted Finite Automata for Figure Drawing  Regional Finite-State Error Repair  ……Poster PapersAuthor Index

圖書封面

評論、評分、閱讀與下載

---

    自動機的實現(xiàn)與應(yīng)用/會議錄Implementation and Application of Automata PDF格式下載

---