计算理论基础教学大纲.docVIP

NOTE: 注*号者为必修内容 372.079.1 《计算理论基础》教学大纲 学分数 3 周学时 3 第一章．集合，关系和语言 对集合（有穷，无穷集合等），关系（包括特殊类型的二元关系，函数）等基本概念的回顾。 *三个基本证明技术：数学归纳法，鸽笼原理，对角化原理。 *闭包及其算法（*函数增长率），封闭性与闭包的关系。 *字母表和语言：对何谓字母表，何谓字符串，以及字符串的性质，如空串，串长度，还有其上的诸如连接 ，前缀，后缀，反转，补和Kleene等等运算，以及它的子串 这些概念有清楚的认识，注意区分和的关系。 *语言的有穷表示（字符串）和由于这一特点而带来的表示上的先天缺陷。 正则表达式的准确定义（重点） 第二章．有穷自动机 *确定型有穷自动机的一系列相关定义： 五元组，格局，一步产生，接受，M接受的语言，自动机状态图。 注意M接受的语言和该语言被M接受的不同提法。 *非确定型有穷自动机的定义和它与确定型之间的区别。 两个有穷自动机等价的定义。确定型有穷自动机和非确定型之间的等价 关系，将非确定型转化为等价确定型的方法，子集法（重点）。 *有穷自动机与正则表达式 有穷自动机在并，连接，Kleene,补，交等运算下的封闭性。 正则语言与有穷自动机的关系，它们之间的互化。（重点） *正则语言与非正则语言的区别