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

(97)

(98)

(95)

(96)

Software　quality　assurance　is　now　an(71)sub-discipline　of　software　engineering.　As　Bucldy　and　Oston　point　out,(72)software　quality　assurance　is　likely　to　lead　to　an　ultimate(73)of　software　costs.　However,　the　major　hurdle　in　the　path　of　software　management　in　this　area　is　the　lack　of(74)software　standards.　The　development　of　accepted　and　generally　applicable　standards　should　be　one　of　the　principal　goals　of(75)in　software　engineering.

(93)

(90)

(91)

(92)

(88)