形式语言与自动机理论课件 总结.pdfVIP

形式语言与自动机理论 Formal Languages and Automata Theory 主要内容 • 文法 – 文法、文法的乔姆斯基体系 • 正规语言 – 正规文法、有穷状态自动机、正规表达式、正规语 言的性质 • 上下文无关语言 – 上下文无关文法、下推自动机 文法 • 文法的形式化表示G=(V,T,P,S) • 构造文法 • 文法表示的语言 • 文法(语言) 的分类 • 线性文法、左线性文法、右线性文法 • 空语句不影响语言的类型 文法的乔姆斯基体系 图灵机 短语结构语言 线性有届 自动机 上下文有关语言 上下文无关 下推自动机 上下文无关语言