Theory of Computation in NCKU, hw4