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