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

Question

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

Answer 1

语法是“综合数学公式”。 :) 但是，在当前情况下，很容易给出替代描述。您的语法将生成格式为

的字符串

a^nb^m

其中s^i 代表“重复子字符串si 次”，并且

2n <= m <= 3n

n 也可以为 0（空字符串）。