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

Emptiness of L(M)

If tex2html_wrap_inline200 has no path reaching a final state.



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