next up previous
Next: About this document Up: Properties of Regular Sets Previous: Finiteness of L(M)

Equivalence of two FAs

tex2html_wrap_inline402
tex2html_wrap_inline404 does not accept any string. tex2html_wrap_inline427 does not accept any string.

figure76

This also solves the equivalence of two regular expression problem.


Sushil Prasad
Tue Mar 21 14:10:23 EST 2000