Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised PapersThis 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. |
Other editions - View all
Automata Implementation: First International Workshop on Implementing ... Darrell Raymond,Derick Wood,Sheng Yu No preview available - 2014 |
Common terms and phrases
accepts adverbials automata theory Brzozowski's 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 First(E FLAP formulas FSA Utilities toolbox Glushkov automaton grammar graph guided tree automata homing sequence Hopcroft implementation input string input symbols integer interface label Last(v Lemma minimization algorithm n-state NFA nondeterminism number of nodes operations option output p₁ pairs parallel program parse table performance Petri nets Presburger Arithmetic problem Proceedings processor Prolog pushdown random reachable regular expressions representation represented sorting stack step Subseries LNAI subset construction TF(E Theorem theory TL(E toolkit trans transition function transition relation window worst-case WS1S