模式识别之自动机介绍13.pdfVIP

第三部分 句法模式识别 13 形式语言与自动机概要  13.1 形式语言  13.2 自动机理论  13.3 有限自动机  13.4 下推自动机 13.1 形式语言  13.1.1 形式语言历史  13.1.2 形式语言基本概念  13.1.3 实例分析  13.1.4 文法的分类 13.1.1 形式语言历史  诞生 – 形式语言的研究开始于上个世纪五十年代 – Chomsky提出文法的数学模型 – 动机：描述人类语言  结果 – 计算机语言的描述 – 图像结构模式的描述 – （机器翻译） 13.1.1 形式语言历史  相关术语 – Grammar / Grammars  语法  文法 – Syntax / Syntactic  句法 13.1.2 形式语言基本概念  实例分析 – 以人类语言（英语句子）为例进行文法分析 – The girl walks gracefully. 13.1.2 形式语言基本概念 13.1.2 形式语言基本概念  概念 – 导出树：该句子的文法推导过程 – 终止符号：叶节点 – 非终止符号：其它节点 – 起始符号：根节点（特殊的非终止符号） – 产生式：导出规则（再写规则） 13.1.2 形式语言基本概念  文法G的组成 – 非终止符集合VN – 终止符集合VT – 产生式集合P – 起始符S  四元式 – G = (V , V , P, S) N T 13.1.3 实例分析  结构模式的文法表示 – 例一某个电气网络系列 – 例二某个闭环形状系列 13.1.3 实例分析  例一某个电气网络系列的文法表示 – 选择基元和字符  a, b – 列出该模式的所有句子的集合（即语言）  L = { b, ab, aab, aaab, …… } – 集合的规范表达形式 n  L = { x ∣x = a b, n≥0} 13.1.3 实例分析  文法G = (V , V , P, S) N T – 非终止符集合VN = { S } – 终止符集合VT = { a, b } – 产生式集合P = { S→aS, S→b } – 起始符S  该文法规定的语言L(G) 13.1.3 实例分析 n  验证L(G) = L = { x ∣x = a b, n≥0} – b ∈L(G)? – ab ∈L(G)? – aab ∈L(G)?