编译原理中要点简析

一、文法 0型文法又叫短文法，其能力相当于图灵机。满足a—>b中a包含非终结符 1型文法又叫上下文有关文法，其能力相当于线性有界自动机。满足|b|>a ，a->空除外 2型文法又叫上下文无关文法，其能力相当于下推自动机。满足1型文法的同时要求a是非终结符（对比0型文法） 3型文法又叫正规文法，其能力相当于有限状态自动机。满足2型文法要求的同时要求它是右线性或左线性（即A->a|aB或A->a|Ba

>>阅读原文<<