如何確定語法的相應語言？

Question

我有以下使用中心嵌入式遞歸的語法。但是，它有兩種情況使用或： S-> aSbbb | aSbb | ϵ其中ε是一個空集。 有沒有一種方法可以生成一個綜合的數學公式（語言）來確定語法？

Answer 1

語法是「綜合數學公式」。 :)但是，在目前的情況下，很容易給出一個替代描述。你的語法會生成表單

a^nb^m 

的字符串，其中s^i代表 「重複子si倍」，並

2n <= m <= 3n 

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