3.4 0型到4型语法的识别和解析

根据一个语法解析句子,原则上我们事先就知道这个字符串实际上源于这个语法。如果我们不能想到更好的东西,我们可以对语法按照2.4.1节的一般生成过程来运行,然后就坐等这个句子出现(我们知道一定会出现)。这情况本身还不足够:我们必须在扩展一下生成过程,以便每个句子形式都能携带其本身一部分的生产树,即便需要在必要的时刻进行更新,但很明显可以通过一点编程工作来完成。我们可能需要等待一会儿(几百万年也说不好)直到句子显示出来,不过最后我们肯定可以收获到解析树。当然这是完全不切实际的,但它至少展示了再理论上,任何字符串都能被解析,如果我们知道它是可解析的,不管是什么语法类型。