在 TOC 中解释乔姆斯基层次结构


乔姆斯基层次结构表示不同机器接受的语言类别。

乔姆斯基层次结构

根据乔姆斯基的语法层次结构如下所述,根据语法类型:

类型 0 - 无限制语法

无限制语法 - 无限制语法是 4 元组 (T,N,P,S),它包括:

T = 终结符集

N = 非终结符集

P = 产生式集,形式为:

v->w

其中 v 和 w 是由非终结符和终结符组成的字符串。

S = 称为起始符号

示例 - 图灵机 (TM)

类型 1 - 上下文相关语法

所有产生式都具有以下形式:

v -> w 其中 |v| < |w|

uAv -> uwv 其中 w != epsilon,

即,A -> w,但仅在 u _ v 的上下文中。

上下文相关语法等价于线性有界上下文相关语言

示例 - 线性有界自动机 (LBA)

类型 3 - 上下文无关语法 -

所有产生式都具有以下形式:

A -> x - 其中 A 是非终结符,x 是非终结符和终结符的字符串,上下文无关语法等价于下推自动机 (PDA)上下文无关语言

示例 - 下推自动机 (PDA)

类型 3 - 正则语法

所有产生式都具有以下形式:

A -> xB

A -> x 其中 A、B 是非终结符,x 是终结符字符串。

正则语法等价于正则集有限自动机

示例 - 有限自动机 (FA)

语法类型语法接受语言接受自动机
类型 0无限制语法递归可枚举语言图灵机
类型 1上下文相关语法上下文相关语言线性有界自动机
类型 2上下文无关语法上下文无关语言下推自动机
类型 3正则语法正则语言有限状态自动机

乔姆斯基层次结构如下图所示:

更新于:2021 年 6 月 16 日

11K+ 次观看

启动您的 职业生涯

通过完成课程获得认证

开始
广告