构造一个CFG

Question

L1 = {a ^ ib ^ j | i，j> = 0}

我的尝试：

S = SA|e

A = aAB|e

B = bB|e

我无法确认我的答案，这是对的吗？

Answer 1

这是不正确的，因为无法获得单个“ b”（或任何数量的“ b”而没有任何“ a”）。

（我认为您只需更改一个字母即可解决它； o）

PS对不起早先的错误回复; 以为这是为了i = j。

Answer 2

你定义L1 = {a ^ ib ^ j | 我，j> = 0}。 换句话说，这是所有字符串的语言，以零或多个a开头，以零或多个b结尾。 这是一种常规语言; 它的正则表达式是* b *。 常规语法（也是无上下文语法）如下：

S := lambda | aS | bT
T := lambda | bT

另一个无上下文语法如下：

S := lambda | aS | Sb

对不起，如果我错过了什么，你的语言比我正在读的更复杂。 如果您有理由相信如此定义的L1与我所描述的语言不同，请解释。