Automata implementation
4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers
International Workshop on Implementing Automata 1999 : Potsdam, Germany)
creator
Boldt, Oliver.
Jürgensen, Helmut.
text
bibliography
conference publication
Electronic books.
Conference papers and proceedings.
gw
Berlin
New York
Springer
©2001
2001
monographic
eng
1 online resource (182 pages) : illustrations
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Implementing Automata, WIA'99, held in Potsdam, Germany, in July 1999. The 16 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision. The papers are devoted to issues of implementing automata of various types important for areas such as parsing, finite languages, computational linguistics, speech recognition, image and signal processing, and systems analysis.
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.
Oliver Boldt, Helmut Jürgensen (eds.).
Includes bibliographical references and index.
English.
Machine theory
Congresses
Machine theory
Algebra
Mathematics
Physical Sciences & Mathematics
QA267 .I5787 1999
004
54.10
DAT 550f
SS 4800
Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers
(OCoLC)48383518
Lecture notes in computer science ; 2214
9783540455264
3540455264
2001055069
https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-45526-4
https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-45526-4
COO
011101
20200626095903.0
ocn166464309
eng