如何确定一个文法对应的语言？

Question

我有以下使用中心嵌入递归的语法。但是，它有两种使用 or 的情况： S-> aSbbb | aSbb | ϵ 其中 ε 是一个空集。 有没有一种方法可以生成决定该语法的综合数学公式（语言）？

Answer 1

语法是"comprehensive mathematical formula"。 :) 但是，在当前情况下，很容易给出替代描述。您的语法将生成形式为

的字符串

a^nb^m

其中 s^i 代表 "repeat the substring s i times"，

2n <= m <= 3n

n也可以是0（空串）。