计算理论导引 1 正则语.pptVIP

主要内容 1.1 有穷自动机 1.2 非确定性 1.3 正则表达式 1.4 非正则语言 本章小结 作业 1.1 有穷自动机 实际示例—自动门控制 状态图 状态图 有穷自动机的形式定义 有穷自动机举例 例 给定有穷自动机 M1 的状态图。请给出形式化的描述，并确定其能识别的语言。 有穷自动机举例 例1.2 给定有穷自动机 M2 的状态图。请给出形式化的描述，并确定其能识别的语言。 有穷自动机举例 例1.3 给定有穷自动机 M3 的状态图。请给出形式化的描述，并确定其能识别的语言。 有穷自动机举例 例1.4 给定有穷自动机 M4 的状态图。请给出形式化的描述，并确定其能识别的语言。 有穷自动机举例 例1.5 给定有穷自动机 M5 的状态图。请给出形式化的描述，并确定其能识别的语言。 有穷自动机举例 例1.6 例1.5推广。对于每一个 i =1，设 Ai 是所有这种字符串的语言，其中数字之和是 i 的倍数。 计算的形式化定义 计算的形式化定义举例 例1.8 给定有穷自动机 M5 的状态图。令w是字符串 10RESET22RESET012 给出M5对w计算时进入的状态序列。 设计有穷自动机 例：设计有穷自动机 E1，假设字母表是{0,1}，识别的语言由所有含有奇数个 1 的字符串组成。 设计有穷自动机 例1.9 设计有穷自动机 E2，使其能识别含有 001 作为子串组成的正则语言。 正则运算 正则运算 例1.11 设字母表 ? 是标准的 26 个字母 {a, b, … , z}。又设 A={good, bad}, B={boy, girl}, 求A∪B , A?B 和A*。 正则运算 如果A1和A2是正则语言，则A1∪A2也是正则语言。 设 M1 识别 A1， M2 识别 A2。并设 M1=(Q1, ?, ?1,q1, F1) 和 M2=(Q2, ?, ?2, q2, F2) 构造识别A1∪A2 的 M=(Q, ?, ?, q0, F) Q = Q1?Q2 = {(r1, r2) | r1?Q1 且 r2?Q2} ?((r1, r2), a ) = (?1(r1,a), ?2(r2,a) ) q0 = (q1, q2) F = {(r1, r2) | r1?F1 或 r2?F2} 正则运算 举例 主要内容 1.1 有穷自动机 1.2 非确定性 1.3 正则表达式 1.4 非正则语言 本章小结 作业 非确定性 非确定性体现在 转换规则——一入多出, ?是空字——无入转态 非确定性 非确定性 例1.14 设 A 是 {0, 1} 上倒数第三个符号为 1 的所有字符串组成的语言，构造非确定性自动机。 非确定性 例1.15 考虑图示的 NFA N ，它的输入字母表 {0}由一个符号组成。只含一个符号的字母表称为一元字母表。考虑它接受的语言。 非确定性 例1.16 考虑图示的 NFA N 。运行这台机器，判断其是否识别ε、a、baba、baa、b、bb、babba。 非确定型有穷自动机的形式定义 NFA 的形式化描述举例 例1.18 给出图示的 NFA 的形式化描述。 NFA 计算的形式化定义 NFA与DFA的等价性 NFA与DFA的等价性 NFA与DFA的等价性 NFA与DFA的等价性 NFA 转换成等价的 DFA 举例 例1.21 将图示的 NFA N 转换成等价的 DFA。 在正则运算下的封闭性 NFA与DFA的等价性 NFA与DFA的等价性 DFA和NFA能力等价 DFA机器易算，NFA 人易制造， 通常，人造NFA，让机器把它变成DFA。 当用并行技术去实现时实际上是用NFA。 当对有指数个节点的树搜索和回溯（可能这里广度优先比深度优先好），是用DFA。 直观解释：对应于NFA这样的简单并行程序中可以串行化。 主要内容 1.1 有穷自动机 1.2 非确定性 1.3 正则表达式 1.4 非正则语言 本章小结 作业 正则表达式的引入 算术运算：(5+3) ×4 考察：(0∪1)0* (0∪1) ? 0* ? * 描述该字母表上的所有字符串组成的语言。 ? *1 描述所有以1结尾的字符串组成的语言。 正则表达式举例 例1.25 正则表达式的例子 (0∪1)*。 正则表达式的形式化定义 正则表达式举例 例1.27 在下面的例子中假定字母表? 是 {0, 1} 。 关于正则表达式的说明 正则表达式与有穷自动机的等价性 正则表达式与有穷自动机的等价性 正则表达式转换成 NFA 例1.30 把正则表达式 (ab∪a)* 转换成一台 NFA。 正则表达式与有穷自动机的等价性 广义非确定型有穷自动机(GNFA) 广义非确定型有穷自动机(GNFA) 将 GNFA 转换为等价的正