10. You have seen that, given a DFA M of n states, whether L(M) is infinite can be decided in P-time: You basically look for a state q E Q(M) such that (1) there is a path from go to q, and also a path from q to some final state in M, and (2) there is a directed cycle having at least one edge (including a loop) from q back to
OR
OR