自动机的实现与应用/会议录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
自动机的实现与应用/会议录Implementation and Application of Automata PDF格式下载