next up previous
Next: Equivalence of two FAs Up: Properties of Regular Sets Previous: Emptiness of L(M)

Finiteness of L(M)

When M has no cycles. If M does not accept any string of length l, such that tex2html_wrap_inline557 then L(M) is finite, else it is infinite.



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