语法规则本来就是上下文有关的，比如变量声明且初始化后才能引用，一个变量的定值会影响后面的引用等等。

到目前上下文有关文法对人类来说过于复杂了，我们处理形式语言的工具依然是上下文无关文法，而且上下文无关文法是够用的。

那么如何使用上下文无关文法解决上下文有关的文法规则呢？ 一个工具是符号表，解决了诸如先声明后引用，控制语句转移等诸多问题。

另一个工具是数据流分析，解决了定值和引用之间的上下文关系。

。