Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers
This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996.
The volume presents 13 revised full papers together with an introduction and survey. The papers explore the use of software tools in formal language theory; various issues involved in the implementation of automata of all types are discussed. As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book advocates the practice of theory in computer science.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
Automata Implementation: First International Workshop on Implementing ...
Darrell Raymond,Derick Wood,Sheng Yu
No preview available - 2014
abstract-states accepts adverbials alphabet automata theory Brzozowski's compiled complexity Computer Science configurations current-set default defined Definition denote deterministic determinization DFA's DFTA dynamical systems efficient encoding entropy equivalence class example family of partitions final finite automata finite language finite set finite state automaton finite-state automaton finite-state machine finite-state transducer FIRE Lite FLAP formulas FSA Utilities toolbox Glushkov automaton grammar graph guided tree automata homing sequence Hopcroft implementation input string input symbols instruction integer interface label LLparse and LRparse minimization algorithm n-state NFA nondeterminism number of nodes operations option pairs paper parallel program parse table performance Petri nets Presburger Arithmetic problem Proceedings processor Prolog proof pushdown random reachable regular expressions representation represented simulation sorting space step Subseries LNAI subset construction TF(E Theorem TL(E tomata toolkit transition function transition relation window worst-case