正式将语法称为4元组

Question

接受了这次采访q，我知道这很容易，但我似乎无法获得。

  

将以下语法正式称为4元组。 （假设终端字母表是生成中出现的小写字母集，非终结字母表是生成中出现的大写字母集，起始符号是S.）   S - ＆gt; ABS | X
  X - ＆gt; BAX |小量

Answer 1

语法G被定义为四元组（N，S，E，P），其中：

• N是一组有限的非终结符号
• S，N的元素是起始符号
• E是一组有限的终端符号
• N和E是不相交的
• P是一组生产或有序对（N + E）* x（N + E）*

如果在P中产生序列w [1]，w [2]，...，w [n]，则语法G中存在字符串w的推导：

1. w [1] = S
2. 对于每个1＆lt; = i＆lt; n：w [i] = xyz，w [i + 1] = xy'z和（y，y'）是P
的产量
3. w [n] = w是一串终端符号。

在G中有派生的所有字符串w的集合称为G，L（G）的语言。

现在，为了你的语法：

• 非终结符号：S，X
• 开始符号：S
• 终端符号：a，b
• 制作：（S，abS），（S，X），（X，baX），（X，epsilon）