程序设计语言包括()等几个方面,它的基本成分包括()。Chomsky(乔姆斯基)提出了形式语言的分层理论,他定义了
程序设计语言包括()等几个方面,它的基本成分包括()。Chomsky(乔姆斯基)提出了形式语言的分层理论,他定义了4类文法:短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=(∑,V,S,P)表示,其中,∑是终结符的有限字符表,V是非终结符的有限字母表,S(∈V)是开始符号,P是生成式的有限非空集。
在短语文法中,P中的生成式都是α→β的形式,其中α∈(C),β∈(∑∪V)*。在上下文有关文法中,P中的生成式都是α1Aα→α2βα2的形式,其中A∈(),β∈(∑∪V)*,β≠ε。在上下文无关文法中,P中的生成式的左部∈()。
供选择的答案: