Please use this identifier to cite or link to this item:

Instruction computation in subset construction

Authors Johnson, J. Howard
Wood, Derick
Issue Date 1996-06
Summary Subset construction is THE method of converting a nondeterministic finite-state machine into a deterministic one. The process of determinization is an important one in any implementation of finite-state machines since nondeterministic machines are often easier to describe than their deterministic equivalents and the conversion of regular expressions to finite-state machines usually produces nondeterministic machines. We discuss one aspect of subset construction; namely, the computation of the instructions of the equivalent deterministic machine. Although the discussion is to some extent independent of any specific assumptions, we draw some conclusions within the context of INR and Grail, both packages for the manipulation of finite-state machines. The aim of the discussion is to present the problem and suggest some possible solutions; we do not intend to and cannot be definitive since much remains unknown.
Language English
Format Technical report
Files in this item:
File Description Size Format
tr9621.pdf 199457 B Adobe PDF