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