如何将常规语法转换为有限自动机：S->aaB|aB|epsolon, B->bb|bS|aBB

Question

How to deal with aaB and aB.on getting aa input i make three state including start state.Can i again add one more transition from start state on geting a lead to state B? 还是我必须做其他事情？

Answer 1

对于这个问题，我们首先需要了解正则语法

Regula Grammar 也称为 Type-3 Grammar。

正则语法生成正则语言。 它们的左侧有一个非终结符，右侧有一个由单个终结符或单个终结符后跟一个非终结符组成。

产品必须采用以下形式：

  A ⇢ xB 
  A ⇢ x
  A ⇢ Bx
where A, B ∈ Variable(V) and x ∈ T*  i.e. string of terminals.

常规语法的类型：

1. 左线性文法（LLG）：在 LLG 中，如果所有的产生式都是形式，则产生式是形式

    A ⇢ Bx A ⇢ x where A,B ∈ V and x ∈ T*

2. 右线性文法（RLG）：在 RLG 中，如果所有的产生式都是形式，则产生式是形式

    A ⇢ xB A ⇢ x where A,B ∈ V and x ∈ T*

type-3语法生成的语言是正则语言，可以设计FA。 FA 也可以转换为 type-3 语法

给定的文法是右线性文法。

正则文法中的有限自动机图像

由于有两个变量，我们需要创建两个状态。 并将 S 作为最终的 state。