Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers /
Material type: TextSeries: Lecture Notes in Computer Science ; 2214Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001Edition: 1st ed. 2001Description: VII, 189 p. online resourceContent type:- text
- computer
- online resource
- 9783540455264
- Compilers (Computer programs)
- Mathematical logic
- Artificial intelligence
- Computer science
- Machine theory
- Pattern recognition systems
- Compilers and Interpreters
- Mathematical Logic and Foundations
- Artificial Intelligence
- Theory of Computation
- Formal Languages and Automata Theory
- Automated Pattern Recognition
- 005.45 23
- QA76.76.C65
FA Minimisation Heuristics for a Class of Finite Languages -- SEA: A Symbolic Environment for Automata Theory -- Analysis of Reactive Systems with n Timers -- Animation of the Generation and Computation of Finite Automata for Learning Software -- Metric Lexical Analysis -- State Complexity of Basic Operations on Finite Languages -- Treatment of Unknown Words -- Computing Entropy Maps of Finite-Automaton-Encoded Binary Images -- Thompson Digraphs: A Characterization -- Finite Automata Encoding Geometric Figures -- Compressed Storage of Sparse Finite-State Transducers -- An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing -- Multiset Processing by Means of Systems of Finite State Transducers -- A Structural Method for Output Compaction of Sequential Automata Implemented as Circuits -- An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata -- A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata.
There are no comments on this title.