离散数学(第5版)耿素云10.1.pptVIP

* 形式语言和 自动机初步 * 第10章 形式语言和自动机初步 10.1 形式语言和形式文法 10.2 有穷自动机 10.3 有穷自动机和正则文法的等价性 10.4 图灵机 * 字符串和形式语言 形式文法 形式文法的分类 0型文法 1型文法 或上下文有关文法 2型文法 或上下文无关文法 3型文法 或正则文法 10.1 形式语言与形式文法 * 语言的基本要素 汉语 字符:汉字和标点符号 字符集:合法字符的全体 句子:一串汉字和标点符号 语法:形成句子的规则 形式语言 字符 字母表 字符串 形式文法 * 字符串 字母表Σ: 非空的有穷集合 字符串: Σ中符号的有穷序列 如 Σ ={a,b} a, b, aab, babb 字符串?的长度|?|: ?中的字符个数 如 |a|=1, |aab|=3 空字符串ε: 长度为0, 即不含任何符号的字符串 an : n个a组成的字符串 Σ*: Σ上字符串的全体 * 子字符串(子串): 字符串中若干连续符号组成的字符串 前缀: 最左端的子串 后缀: 最右端的子串 例如 ? =abbaab a,ab,abb是?的前缀 aab,ab,b是?的后缀