編譯原理中要點簡析

一、文法 0型文法又叫短文法,其能力相當於圖靈機。滿足a—>b中a包含非終結符 1型文法又叫上下文有關文法,其能力相當於線性有界自動機。滿足|b|>a ,a->空除外 2型文法又叫上下文無關文法,其能力相當於下推自動機。滿足1型文法的同時要求a是非終結符(對比0型文法) 3型文法又叫正規文法,其能力相當於有限狀態自動機。滿足2型文法要求的同時要求它是右線性或左線性(即A->a|aB或A->a|Ba
相關文章
相關標籤/搜索