【编译原理】文法
文章目录文法的形式化定义产生式的简写符号约定总结
文法的形式化定义
产生式的一般形式：
α→β（α定义为β）
①α∈（VT∪VN）+且α中至少包含VT中的一个元素，称为产生式的“头”或“左部”
②β∈（VT∪VN）*，称为产生式的“体”或“右部” S是开始符号，S∈VN，开始符号是一个文法中最大的语法成分 产生式的简写
G=（VT,VN,P,S）,其中VT是终结符集合，VN是非终结符集合（表示语法成分的符号）
产生式的一般形式：
α→β（α定义为β）
①α∈（VT∪VN）+且α中至少包含VT中的一个元素，称为产生式的“头”或“左部”
②β∈（VT∪VN）*，称为产生式的“体”或“右部” S是开始符号，S∈VN，开始符号是一个文法中最大的语法成分 产生式的简写
对一组有相同左部的产生式而言，
α→β1，α→β2，α→β3，……，α→βn
可简写为：
α→β1|β2|β3|……|βn（α定义为β1或β2或……或βn，其中β1β2……βn称为α的候选式）
终结符：
原创文章 73获赞 9访问量 2401
关注
私信
展开阅读全文
作者：台风TYPFOON
