📜  自动机乔姆斯基层次结构

📅  最后修改于: 2020-12-17 09:08:08             🧑  作者: Mango

乔姆斯基阶层

Chomsky层次结构表示不同机器所接受的语言类别。乔姆斯基层次结构中的语言类别如下:

  • 类型0称为无限制语法。
  • 类型1称为上下文相关语法。
  • 类型2称为上下文无关语法。
  • 类型3常规语法。

这是一个层次结构。因此,类型3的每种语言也都是类型2、1和0。类似地,类型2的每种语言也都是类型1和类型0,依此类推。

类型0语法:

类型0语法称为无限制语法。这些类型的语言的语法规则没有限制。这些语言可以由图灵机有效地建模。

例如:

bAa → aa
S → s

类型1语法:

类型1语法称为上下文相关语法。上下文相关的语法用于表示上下文相关的语言。上下文相关的语法遵循以下规则:

  • 上下文相关的语法在其生产规则的左侧可能有多个符号。
  • 左侧的符号数不得超过右侧的符号数。
  • 除非A是起始符号,否则不允许采用A→ε形式的规则。它不会出现在任何规则的右侧。
  • 类型1语法应为类型0。在类型1中,产生形式为V→T

V中的符号计数小于或等于T的情况。

例如:

S → AT
T → xy
A → a

类型2语法:

类型2语法称为上下文无关语法。上下文无关的语言是可以由上下文无关的语法(CFG)表示的语言。类型2应该为类型1。生产规则的格式为

A → α

其中A是任何单个非末端,并且是末端和非末端的任何组合。

例如:

A → aBb
A → b
B → a

类型3语法:

类型3语法被称为常规语法。正则语言是可以使用正则表达式描述的语言。可以使用NFA或DFA对这些语言进行建模。

类型3是语法的最受限制形式。类型3语法应为类型2和类型1。类型3的形式应为

V → T*V / T*

例如:

A → xy