自动机：开发无上下文语法

Question

任何人都可以给我一个参与为此开发无上下文语法的思考过程吗？我给了一种语言，其中有一定数量的0和一定数量的1，但0的数量不等于1的数量。然而0是先到1然后（这应该让事情更直接）。所以可接受的字符串是0000111或01111111

我不希望你只是给我直接答案，或者就此而言答案。只是弄清楚它的过程。

Answer 1

嗯，你不想要的直接答案是：

S - initial symbol
S -> X | Y
X -> 0X1 | X1 | 1
Y -> 0Y1 | 0Y | 0 

这是我想到的第一件事，所以没有太多的过程。无论如何，我要说的是，你必须看到的第一件事是有两种可能性 - 要么你有更多的，要么是零，并且好的两个将问题分成这两个（因为我将S分为X和Y）。 / p>

然后你会看到“无上下文”使得无法控制除零和一之间的边界之外的任何地方的数字。你只是得到了想法并写下了解决方案。