什么是类型 3 语法?解释它的特性

类型 3 文法是描述正则/形式语言的正则文法。

这些语法包含由以下组成的产生式规则 -

  • 左侧只有一个非终端,

  • 右手边有一个终端,后面可能跟也可能不跟非终端。

示例

A → ε , A → a, A → b, A → aA etc.

类型

有两种类型的常规语法,即 -

  • 右线性/右正则文法

  • 左线性/左正则文法

让我们详细了解这两种类型的语法。

右线性文法

这是一个正则文法,具有形式的产生规则

A → α (or) A → α B

其中,A、B→非终结符α→终结符

这些语法本质上是右分支的,因为替换是针对最右边的非终结符(如果可用)进行的。

左线性语法

这是具有以下形式的产生式规则的常规语法 -

A → α (or) A → B α

其中,A 和 B 是非终结符,α 是终结符。

由于对最左边的非终结符进行了替换,因此这些文法本质上是左分支的。

正则文法的性质

常规语法生成常规语言,在以下情况下关闭 -

  • 联盟

  • 级联

  • 路口

  • 互补

  • 区别

  • 逆转

  • 逆转

  • 关闭

  • 同态

  • 逆同态。