Sketch of Solutions to Exercises
2.6.1
L(M) is infinite if and only if it accepts some string w such that n
<
|w| < 2n. n denotes the number of states of M.