计算机考博试题.pdfVIP

计算理论 字母表： 一个有穷的符号集合。 字母表上的 字符串 是该字母表中的符号的有穷序列。 一个字符串的 长度是它作为序列的长度。 * 连接 L 中 0 个或多个字符串得 连接 反转 Kleene 星号 L ， 到的所有字符串的集合。 有穷自动机： 描述能力和资源极其有限的计算机模型。 有穷自动机是一个 5 元组 M=(K , ∑, ,s,F ),其中 1）K 是一个有穷的集合，称为状态集 2）∑是一个有穷的集合，称为字母表 3） 是从 KX∑→K 的函数，称为转移函数 4 ）s ∈K是初始状态 5）F K 是接收状态集 M接收的语言是 M接收的所有字符串的集合，记作 L(M). 对于每一台非确定型有穷自动机， 有一台等价的确定型有穷自动机 有穷自动机接受的语言在并、连接、 Kleene 星号、补、交运算下 是封闭的。 每一台非确定型有穷自动机都等价于某一台确定型有穷自动机。 一个语言是正则的当且仅当它被