计算理论中的乔姆斯基层次结构

根据乔姆斯基层次结构，语法分为 4 种类型：

Type 0 known as unrestricted grammar.
Type 1 known as context sensitive grammar.
Type 2 known as context free grammar.
Type 3 Regular Grammar.

类型 0：不受限制的语法：

在类型 0
0 型文法包括所有形式文法。类型 0 语法语言被图灵机识别。这些语言也称为递归可枚举语言。

语法生成形式

$\alpha \to \beta$

在哪里

$\alpha$是 (V + T)* V (V + T)*
五：变量
T：终端。

$\beta$是 (V + T)*。
在类型 0 中，生产的左侧必须至少有一个变量。例如，

萨布->巴
A -> S。

这里，变量是 S、A 和终端 a、b。

类型 1：上下文相关语法）
Type-1 语法生成上下文相关语言。由语法生成的语言被线性边界自动机识别
在类型 1
一、首先Type 1语法应该是Type 0。
二、语法生成形式

$\alpha \to \beta$

| $\alpha$ | <= | $\beta$ |

即符号计数$\alpha$小于或等于$\beta$例如，
S -> AB
AB -> abc
乙->乙

类型 2：上下文无关语法：
Type-2 语法生成上下文无关语言。由语法生成的语言由下推自动机识别。
在类型 2 中，
1.首先应该是Type 1。
2.生产的左边只能有一个变量。

| $\alpha$ | = 1。

他们没有限制$\beta$ .

例如，
S -> AB
一个->一个
乙->乙

类型 3：常规语法：
Type-3 语法生成正则语言。这些语言正是有限状态自动机可以接受的所有语言。

类型 3 是最受限制的语法形式。
类型 3 应仅采用给定形式：

V –> VT / T （左正则文法）

（要么）

V –> TV /T （右正则语法）

例如：

S -> 一个

上述形式称为严格正则文法。

还有另一种形式的正则文法，称为扩展正则文法。以这种形式：

V -> VT* / T*。 （扩展左正则文法）
（要么）
V –> T*V /T* （扩展右正则文法）例如 ：
S -> ab。

参考
https://en.wikipedia.org/wiki/Chomsky_hierarchy