注:其中V表示变量集,T表示终极符集,P为产生式,S表示开始符号。例如:A属于V,a属于T
P:S->aA,A->a(产生式)。文中α,β代表属于变量和终极符。
设G=(V,T,P,S),则
(1)G叫作0型文法(type 0 grammar),或短语结构文法(phrase structure grammar,PSG),其对应的语言叫作
注:其中V表示变量集,T表示终极符集,P为产生式,S表示开始符号。例如:A属于V,a属于T
P:S->aA,A->a(产生式)。文中α,β代表属于变量和终极符。
设G=(V,T,P,S),则
(1)G叫作0型文法(type 0 grammar),或短语结构文法(phrase structure grammar,PSG),其对应的语言叫作