为L = {a ^ n b ^ n：n <= 100}提供常规语法
我会做这样的事情：
取值---＆GT; A |空字符串
A ---＆GT; AB |空字符串
B ---电＆GT;抗体
但我们如何计算语法中的数字呢？意思是怎么知道什么时候有100多个。我甚至不确定我的方式是否有意义。
任何帮助都将不胜感激。
答案 0 :(得分：3)
由于这种语言的成员明显受限，您可以将它们列为所有可能的案例列表：
S -> ab | aabb | aaabbb | ... | a^100b^100
答案 1 :(得分：0)
假设S是起始符号：
1) S -> aXb
2) X -> aXb
3) X -> ab
我可以证明这是有效的：
1）S - ＆gt; AXB
2）aXb - ＆gt; a aXb b
......（n-3）次
a ^（n-1）X b ^（n-1） - ＆gt; a ^ n b ^ n（使用第三个规则，X - > ab）