James A. Foster

next up previous contents
Next: Index Up: Finite Automata for Regular Previous: Nondeterministic Finite Automata

tex2html_wrap_inline487 -Nondeterministic Finite Automata

 

Suppose we want to convert a tex2html_wrap_inline487 -NFAM into an NFAM'.

Idea435

We can formalize this transformation into an algorithm and prove that it is correct.


James Foster
Wed Sep 18 16:53:17 PDT 1996

Last Updated 01/13/2003 15:56 -0800