自动机的实现与应用/会议录Implementation and Application of Automata

出版时间：2005-3  出版社：Oversea Publishing House  作者：Domaratzki, Michael; Okhotin, Alexander; Salomaa, Kai  页数：336  

内容概要

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