Я пытаюсь найти контекстную грамматику для следующего языка:
L = {a m b n c m + n |0 <= n <= m} </p>
Я думаю, что могу переписать это в
L = {a m b n c n c m |0 <= n <= m} </p>
, а затем создайте грамматику
S -> aSc |B
B -> bBc |^
Проблема в том, что эта грамматика не захватывает 0 <= n <= m, и я не могу понять, как это сделать.Любая помощь будет принята с благодарностью. </p>