字母表 (Alphabet)

➢字母表∑是一个有穷符号集合
➢符号:字母、数字、标点符号、…
在这里插入图片描述

字母表上的运算

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

串(String)

在这里插入图片描述

串上的运算——连接

在这里插入图片描述

串上的运算——幂

在这里插入图片描述

自然语言的例子——句子的构成规则

在这里插入图片描述

文法的形式化定义

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

产生式的简写

在这里插入图片描述

符号约定

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

自然语言的例子

在这里插入图片描述

推导 (Derivations)和归约(Reductions)

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

句型和句子

在这里插入图片描述
在这里插入图片描述

语言的形式化定义

在这里插入图片描述
在这里插入图片描述

语言上的运算

在这里插入图片描述

Chomsky 文法分类体系

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

CFG的分析树

在这里插入图片描述

分析树是推导的图形化表示

在这里插入图片描述

(句型的)短语

在这里插入图片描述
在这里插入图片描述

二义性文法 (Ambiguous Grammar)

如果一个文法可以为某个句子生成多棵分析树,
则称这个文法是二义性的
在这里插入图片描述
在这里插入图片描述

二义性文法的判定

在这里插入图片描述

Logo

有“AI”的1024 = 2048,欢迎大家加入2048 AI社区

更多推荐