本讲义为DepartmentofComputerScienceTheUniversityofTexasatAustin的计算理论课程讲义,包括讲义,习题及部分解答.