关于文法和语言的形式描述在文法和语言的形式描述中,G=(VN,VT,P,S),其中P是产生式的有限集合,每个产生是是形如
1个回答

设G=(VN,VT,P,S),如果它的每个产生式α→β是这样一种结构:α∈( VN∪VT )*且至少含有一个非终结符,而β∈( VN∪VT )*,则G是一个0型文法。

0型文法也称短语文法。一个非常重要的理论结果是,0型文法的能力相当于图灵机(Turing)。或者说,任何0型语言都是递归可枚举的;反之,递归可枚举集必定是一个0型语言。

对0型文法产生式的形式作某些限制,以给出1...