无上下文语法

Question

我需要帮助理解这个概念。

书中陈述

G1:
    A→0A1
    A→B
    B→#

它声明G1生成字符串000#111

并显示一个过程

A → 0A1 → 00A11 → 000A111 → 000B111 → 000#111

我明白这里发生了什么。我不确定的是它是否可以无限循环。

例如：

G1也可以使用此流程生成0#1

A → 0A1 → 0B1 → 0#1

这本书没有清楚地解释这一部分。感谢

Answer 1

是的，任何产品都可以无限次地应用，从而产生（在这种情况下和大多数情况下）无限数量的字符串。 该语法生成​​0 ⁿ ＃1 ⁿ

形式的所有字符串

Answer 2

是的。给定的语法也生成0#1语言。事情很清楚。如您所见，生成的语言0＃1是由同一语法生成的前一种语言的子集。