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

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）。

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