Final project of the course "Theory of computation" in NCKU