计算理论引论英文版课后答案 、导引 掌握自动机、可计算性与复杂性的基本概念复习了解集合、序列、元组、函数等概念。能掌握常用的定理证明方法并利用解决实际问题，了解悖论产生的原因。 2、自动机与语言 （1）正则语言。了解掌握有穷自动机的形式定义和图形定义。能够设计简单的有穷自动机，熟悉几种经典正则运算系统。 了解非确定性和非确定性有穷自动机，能够理解NFA与DFA的等价性以及正则运算的封闭性。 正则表达式的形式定义及与有穷自动机的等价性。 了解并掌握非正则语言及其泵引理并能应用它证明语言的非正则性。 （2）上下文无关语言。 上下文无关文法的形式定义、举例及设计简