3.5 上下文无关解析方法的概述

在Chomsky语法类型中，上下文无关（2型）语法占据着最突出的位置。这有三个原因：1.CF解析的结果在生成树上，这让语义的表达和结合更容易；2.CF语言覆盖了很大一部分人们想要自动处理的语言；3.有效的CF解析是有可能的----虽然有时候存在很大的困难。在重要性上上下文无关语法后紧跟着有限状态语法。这是因为世界和设备是有限的；自动售货机、远程控制、病毒探测器，所有这些都展示了有限状态的本性。本书的其余章节，因此将主要关注CF解析，除了第5章（有限状态语法）之外，以及第15章（非Chomsky体系）。我们现在先看一下上下文无关解析方法的概述。

关于解析文学的读者面临着大量相互之间关系往往不明确的技术。然而现在所有的技术都可以被放在一个单一的框架中，根据一些简单的标准：见图Fig 3.11。

我们已经看到，一个解析技术要么是自顶向下，从起始符号开始重新生成输入字符串，要么是自底向上，向着起始符号缩减输入字符串。下一个分歧点是在定向和非定向解析方法之间。