形式文法的定义 定义形式文法是一个有序4元组G=<VTS,P>, 其中 (1)V是非空有穷集合,V的元素称作变元或非终极符 (2)T是非空有穷集合且M∩T=0,T的元素称作终极符 (3)S∈v称作起始符 (4)P是非空有穷集合,P的元素称作产生式或改写规则, 形如a→,其中a2∈(UUT*且a+t 1010 形式文法的定义 定义 形式文法是一个有序4元组G=<V,T,S,P >, 其中 (1) V是非空有穷集合, V 的元素称作变元或非终极符 (2) T是非空有穷集合且V∩T =Ø, T 的元素称作终极符 (3) S∈V 称作起始符 (4) P是非空有穷集合, P的元素称作产生式或改写规则, 形如α→β, 其中α,β∈(V∪T)*且α≠ε