Ta上传的资源 (0)

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

本讲义以对话的形式讲述了如何使用pumping theorem证明表达式是否正则,同时对closure property进行了扩展