我什至无法开始解决这类无上下文无关的常规语法问题任何指导将不胜感激

问题描述

我该如何解决？

我试图通过理解诸如m = 0，n！= 0以及m = 1，n！= 2等情况来理解语言，但是我现在不知道如何从那里继续解决方案。任何步骤将不胜感激。

我可以为a^n b^m的情况构建一种语言，其中n,m >=0为：

S->aSb | A | B其中 A->aA | lambda和 B->Bb | lambda，如果n,m>=0

解决方法

用两个有序比较的联合来替换不平等几乎总是最简单的。用一种语言，您将有 n 2m a；在另一个 n > * 2m`中。