编译原理作业集-第七章
编译原理 第7章习题解答
第七章习题解答7.1 给定文法：S→(A)A→ABBA→BB→bB→c①构造它的基本LR(0)项目集；②构造它的LR(0)项目集规范族；③构造识别该文法活前缀的DFA；④该文法是SLR文法吗？若是，构造它的SLR分析表。
7.2 给定文法：E→EE+E→EE*E→a①构造它的LR(0)项目集规范族；②它是SLR(1)文法吗？若是，构造它的SLR(1)分析表；③它是LR(1)文法吗？若是，构造它的LR(1)分析表；④它是LALR(1)文法吗？若是，构造它的LALR分析表。
7.3 给出一个非LR(0)文法。
7.4 给出一个SLR(1)文法，但它不是LR(0)文法，构造它的SLR分析表。
7.5 给出一个LR(1)文法，但它不是LALR(1)文法，构造它的规范LR(1)分析表。
7.6 给定二义性文法：① E→E+E② E→E*E③ E→(E)④ E→id用所述的无二义性规则和(或)另加一些无二义性规则，例如，给算符*、+施加某种结合规则。
①构造它的LR(0)项目集规范族及识别活前缀的DFA；②构造它的LR分析表。
习题参考答案7.1 解：文法的基本LR(0)项目集为S→.(A) S→(.A) S→(A.) S→(A).A→.ABB A→A.BB A→AB.B A→ABB.A→.B A→B. B→.b B→b.B→.c B→c.构造该文法的识别活前缀的DFSA如下图所示：I文法的识别活前缀的DFSA该文法的LR(0)项目集规范族={I0，I1，I2，I3，I4，I5，I6，I7，I8}因为在构造出来的识别活前缀的DFA中，每一个状态对应的项目集都不含有移进-归约、归约-归约冲突，所以该文法是LR(0)文法，当然也是SLR文法。
因为 FOLLOW(S)={#}FOLLOW(A)=FIRST{)}∪FIRST(BB)={)，b，c}FOLLOW(B)=FIRST(B)∪FOLLOW(A)={b，c，)}其对应的SLR(1)分析表如下表所示。
编译原理chapter7
Return sequence
被调用者将返回值放到和参数相邻的位置 恢复top_sp和寄存器，跳转到返回地址。 和寄存器， 恢复 和寄存器 跳转到返回地址。
版权所有 计算机学院 闫健恩
25
调用代码序列的例子
版权所有 计算机学院 闫健恩
26
7.3.4栈中的 栈中的 变长数据
如果数据对象 的生命期局限 于过程活动的 生命期， 生命期，就可 以分配在运行 时刻栈中。 时刻栈中。 top指向实际的 指向实际的 栈顶 top_sp用于寻 用于寻 找顶层记录的 定长字段
18
运行时刻栈的例子
运行栈： 运行栈：把控制栈中的信息拓广到包括过程 活动所需的所有局部信息（即活动记录） 活动所需的所有局部信息（即活动记录） s a : array s
版权所有 计算机学院 闫健恩
19
运行时刻栈的例子
运行栈： 运行栈：把控制栈中的信息拓广到包括过程 活动所需的所有局部信息（即活动记录） 活动所需的所有局部信息（即活动记录） s a : array r i: integer s r
版权所有 计算机学院 闫健恩
11
7.3 栈式分配
内容： 内容： 活动树 活动记录 调用代码序列 栈中的变长数据
版权所有 计算机学院 闫健恩
12
7.3.1 活动树
过程调用（过程活动）在时间上总是嵌套的： 过程调用（过程活动）在时间上总是嵌套的：
后调用的先返回 因此可以用栈式分配来处理过程活动所需要的 内存空间。 内存空间。
22
k: integer
7.3.3 调用代码序列
调用代码序列(calling sequence)为活动记录 调用代码序列 为活动记录 分配空间，填写记录中的信息； 分配空间，填写记录中的信息； 返回代码序列(return sequence)恢复及其状 返回代码序列 恢复及其状 是调用者继续运行。 态，是调用者继续运行。 调用代码序列会分割到调用者和被调用者 中。
编译原理第七章
4
LR 分析器工作示意图
5
步骤 符号栈 输入符号串
1） 2） 3） 4） 5） 6） 7） 8） 9） 10） 11） # #a #ab #aA #aAb #aA #aAc # aAcd #aAcB #aAcBe #S abbcde# bbcde# bcde# bcde# cde# cde# de# e# e# # #
13、 T • int 14、 T int • 15、 T •(E) 16、 T (• E) 17、 T (E •) 18、 T (E) • 注意： ① 初态 ② 句柄识别态 ③ 句子识别态
注意：拓广文法引入的意义。（确保初态唯一）
23
NFA for Viable Prefixes of the Example
求解方程组可得： [S’] = [S] = [A] = a+[A] [B] = aAc
推论：若文法G中有产生 式B→A，则有 LC(A) LC(B)· {}
[A] = a|[A]
[A] = a*=a
这样求出了每个非终结符在规范推导中用该非终结符的右部 替换该非终结符之前，它的左部可能出现的所有前缀，也就 是在规范归约过程中用句柄归约成该非终结符之前不包括句 柄的活前缀。 15
归约（如何找当前句柄归约）？
3
3） 4） 5） 6）
#ab #aA #aAb #aA
bcde# bcde# cde# cde#
归约(A→b) 移进 归约(A→Ab) 移进
分析：已分析过的部分在栈中的前缀不同，而且移进和归 约后栈中的状态会发生变化
我们引入一个新的状态栈来表示符号栈中的符号目前状态
用LR分析表来表示不同状态下对于各输入符号应采取的动 作
编译原理 - 陈火旺版 - 第七章
3
后缀式
后缀式（逆波兰式）
表达式E的后缀形式E’的写法：
• 若E是变量或常量，则E’ = E • 若E=E1 op E2,则E’ =E1’ E2’ op • 若E=(E1)，则E’ = E1 表达式变为后缀形式的语义规则
E→E1 op E2 E→(E1) E→i {E.CODE := E1.CODE||E2.CODE||op } {E.CODE := E1.CODE} {E.CODE := i}
推广到表达式外的范围
• 例如 a:=b*c+b*d 后缀形式：abc*bd*+:=
5
图
抽象语法树
内部结点表示运算符，后代表示运算对象
无循环有向图（DAG）
与抽象语法树
• 相同之处：内部结点表示运算符，后代表示运算对象 • 不同之处：考虑到公共子表达式（不只一个父结点），更加紧 凑高效
四元组表示 (1) （－，C, D , T1) (2) (*, B, T1, T2) (3) (+, A, T2 , T3) (4) (↑, F, G , T4) (5) ( /, E, T4, T5) (6) (-, T3, T5 , T6)
13
说明语句的翻译
说明语句
定义局部于该过程的数据对象（以标识符标识） 为数据对象分配空间，在符号表中登记数据对象的名 字，类型，分配的存储地址 有过程嵌套的，表示出嵌套关系
编译方法
中国人民大学信息学院 陈文萍
1
第7章 语义分析和中间代码生成
中间语言 一些语法成分的翻译
说明语句 赋值语句 布尔表达式 控制语句 过程调用
类型检查
2
语义分析概述
编译原理Chapter 7
prev
next 40
LR(0)分析表的构造※
dir
LR(0)分析表相当于识别活前缀的有限自动
机DAF的状态转换矩阵
prev
next 41
LR(0)分析表的构造算法
dir
令包含S’→•S 的项目集Ik的下标k为分析器的初态
LR(0)分析表的ACTION和GOTO表的构造步骤如下:
若项目 A→•a 属于Ik，且转换函数GO(Ik,a)= Ij ，当a为终结符时，则置ACTION[k,a]为Sj 若项目 A→• 属于Ik ，则对a为任何终结符或‘#’， 置ACTION[k,a] = rj ，j为产生式在文法G’中的编 号 若项目 X→•A 属于Ik ，且GO(Ik,A)= Ij ，则置 GOTO[k,A]=j，其中A为非终结符，j为某一状态号 若项目 S’→S• 属于Ik ，则置ACTION[k,#] = acc 其它填上“报错标志”，可用空白表示
Step2 对初态集或其它所构造的项目集应用转
换函数 GO(I，X)= CLOSURE(J)求出新状态 J的项目集
Step3 重复Step2直到不出现新的项目集为止
prev next 36
dir
S’ E A B
E aA | bB cA | d cB | d
c
c a
I4:Ac•A A•cA A•d I2:Ea•A A•cA A•d
prev
next 46
S’E[0] EaA[1]|bB[2] AcA[3]|d[4] BcB[5]|d[6]
dir
对输入串bccd#的分析
符号栈 输入串 bccd# ACTION S3
up
步骤 状态栈 0 1 03 2 035 3 0355 4 5 6 7
编译原理 第七章习题-推荐下载
E:=A+D
G:=A
H:=G*G
F:=H*G
L:=F
M:=L
n6
1
n2/
1
C
n4
41+
n7
1
*
n5
1
D
G
E
(1) G:=B*C H:=G*G L:=G*H M:=L
n1
B
对全部高中资料试卷电气设备，在安装过程中以及安装结束后进行高中资料试卷调整试验；通电检查所有设备高中资料电试力卷保相护互装作置用调与试相技互术通关，1系电过，力管根保线据护敷生高设产中技工资术艺料0不高试仅中卷可资配以料置解试技决卷术吊要是顶求指层，机配对组置电在不气进规设行范备继高进电中行保资空护料载高试与中卷带资问负料题荷试2下卷2，高总而中体且资配可料置保试时障卷，各调需类控要管试在路验最习；大题对限到设度位备内。进来在行确管调保路整机敷使组设其高过在中程正资1常料中工试，况卷要下安加与全强过，看度并22工且22作尽22下可22都能22可地护以缩1关正小于常故管工障路作高高；中中对资资于料料继试试电卷卷保破连护坏接进范管行围口整，处核或理对者高定对中值某资，些料审异试核常卷与高弯校中扁对资度图料固纸试定，卷盒编工位写况置复进.杂行保设自护备动层与处防装理腐置，跨高尤接中其地资要线料避弯试免曲卷错半调误径试高标方中高案资等，料，编试要5写、卷求重电保技要气护术设设装交备备置底4高调、动。中试电作管资高气，线料中课并敷3试资件且、设卷料中拒管技试试调绝路术验卷试动敷中方技作设包案术，技含以来术线及避槽系免、统不管启必架动要等方高多案中项；资方对料式整试，套卷为启突解动然决过停高程机中中。语高因文中此电资，气料电课试力件卷高中电中管气资壁设料薄备试、进卷接行保口调护不试装严工置等作调问并试题且技，进术合行，理过要利关求用运电管行力线高保敷中护设资装技料置术试做。卷到线技准缆术确敷指灵设导活原。。则对对：于于在调差分试动线过保盒程护处中装，高置当中高不资中同料资电试料压卷试回技卷路术调交问试叉题技时，术，作是应为指采调发用试电金人机属员一隔，变板需压进要器行在组隔事在开前发处掌生理握内；图部同纸故一资障线料时槽、，内设需，备要强制进电造行回厂外路家部须出电同具源时高高切中中断资资习料料题试试电卷卷源试切，验除线报从缆告而敷与采设相用完关高毕技中，术资要资料进料试行，卷检并主查且要和了保检解护测现装处场置理设。备高中资料试卷布置情况与有关高中资料试卷电气系统接线等情况，然后根据规范与规程规定，制定设备调试高中资料试卷方案。
编译原理第7章答案
第七章LR分析法1．已知文法A→aAd|aAb|ε判断该文法是否是SLR(1)文法，若是构造相应分析表，并对输入串ab#给出分析过程。
解：增加一个非终结符S/后，产生原文法的增广文法有：S/→AA→aAd|aAb|ε下面构造它的LR(0)项目集规范族为：02对于I0来说有FOLLOW(A)∩{a}={b,d,#}∩{a}=Φ所以在I0状态下面临输入符号为a时移进，为b,d,#时归约，为其他时报错。
对于I2来说有也有与I0完全相同的结论。
这就是说，以上的移进-归约冲突是可以解决的，因此该文法是SLR(1)文法。
其他SLR(1)分析表为：下面构造它的SLR(1)项目集规范族为：15S→a|^|(T)T→T,S|S(1)构造它的LR(0),LALR(1),LR(1)分析表。
(2)给出对输入符号串(a#和(a,a#的分析过程。
(3)说明(1)中三种分析表发现错误的时刻和输入串的出错位置有何区别。
解：(1)加入非终结符S/，方法的增广文法为：S/→SS→aS→^S→(T)T→T,ST→S下面构造它的LR(0)项目集规范族为：表7.15.1 文法的LR(0)分析表17．若包含条件语句的语句文法可缩写为：S→iSeS|iS|S;S|a其中：i代表if,e代表else,a代表某一语句。
若规定：(1)else与其左边最近的if结合(2);服从左结合试给出文法中i,e,; 的优先关系，然后构造出无二义性的LR分析表，并对输入串iiaea#给出分析过程。
解：加入S/→S产生式构造出增广文法如下：[0] S/→S[1] S→iSeS[2] S→iS[3] S→S;S[4] S→a由习惯可知，定义文法中i,e,;,a4个算符的优先关系为：a>e>i>;。
并且i与;的结合方向均为自左至右。
由上述状态项目集可见：a.状态I1存在移进-归约冲突，由于FOLLOW(S/)∩{;}={#}∩{;}=Φ,所以面临#号时应acc，面临;号时应移进。
编译原理作业集-第七章（精选.）
编译原理作业集-第七章（精选.）第七章语义分析和中间代码产⽣本章要点1. 中间语⾔，各种常见中间语⾔形式；2. 说明语句、赋值语句、布尔表达式、控制语句等的翻译；3. 过程调⽤的处理；4. 类型检查；本章⽬标掌握和理解中间语⾔，各种常见中间语⾔形式；各种语句到中间语⾔的翻译；以及类型检查等内容。
本章重点1．中间代码的⼏种形式，它们之间的相互转换：四元式、三元式、逆波兰表⽰；3．赋值语句、算术表达式、布尔表达式的翻译及其中间代码格式；4．各种控制流语句的翻译及其中间代码格式；5．过程调⽤的中间代码格式；6．类型检查；本章难点1. 各种语句的翻译；2. 类型系统和类型检查；作业题⼀、单项选择题：1. 布尔表达式计算时可以采⽤某种优化措施，⽐如A and B⽤if-then-else可解释为_______。
a. if A then true else B；b. if A then B else false；c. if A then false else true；d. if A then true else false；2. 为了便于优化处理，三地址代码可以表⽰成________。
a. 三元式b. 四元式c. 后缀式d. 间接三元式3. 使⽤三元式是为了________：a. 便于代码优化处理b. 避免把临时变量填⼊符号表c. 节省存储代码的空间d. 提⾼访问代码的速度4. 表达式-a+b*(-c+d)的逆波兰式是________。
a. ab+-cd+-*；b. a-b+c-d+*；c. a-b+c-d+*；d. a-bc-d+*+；5. 赋值语句x:=-(a+b)/(c-d)-(a+b*c)的逆波兰式表⽰是_______。
a. xab+cd-/-bc*a+-:=；a. xab+/cd-bc*a+--:=；a. xab+-cd-/abc*+-:=；a. xab+cd-/abc*+--:=；6. 在⼀棵语法树中结点的继承属性和综合属性之间的相互依赖关系可以由________来描述。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第七章语义分析和中间代码产生本章要点1. 中间语言，各种常见中间语言形式；2. 说明语句、赋值语句、布尔表达式、控制语句等的翻译；3. 过程调用的处理；4. 类型检查；本章目标掌握和理解中间语言，各种常见中间语言形式；各种语句到中间语言的翻译；以及类型检查等内容。
本章重点1．中间代码的几种形式，它们之间的相互转换：四元式、三元式、逆波兰表示；3．赋值语句、算术表达式、布尔表达式的翻译及其中间代码格式；4．各种控制流语句的翻译及其中间代码格式；5．过程调用的中间代码格式；6．类型检查；本章难点1. 各种语句的翻译；2. 类型系统和类型检查；作业题一、单项选择题：1. 布尔表达式计算时可以采用某种优化措施，比如A and B用if-then-else可解释为_______。
a. if A then true else B；b. if A then B else false；c. if A then false else true；d. if A then true else false；2. 为了便于优化处理，三地址代码可以表示成________。
a. 三元式b. 四元式c. 后缀式d. 间接三元式3. 使用三元式是为了________：a. 便于代码优化处理b. 避免把临时变量填入符号表c. 节省存储代码的空间d. 提高访问代码的速度4. 表达式-a+b*(-c+d)的逆波兰式是________。
a. ab+-cd+-*；b. a-b+c-d+*；c. a-b+c-d+*；d. a-bc-d+*+；5. 赋值语句x:=-(a+b)/(c-d)-(a+b*c)的逆波兰式表示是_______。
a. xab+cd-/-bc*a+-:=；a. xab+/cd-bc*a+--:=；a. xab+-cd-/abc*+-:=；a. xab+cd-/abc*+--:=；6. 在一棵语法树中结点的继承属性和综合属性之间的相互依赖关系可以由________来描述。
a. 抽象语法树；b. 语法规则；c. 依赖图；d. 三地址代码；7. 按照教材中的约定，三地址语句if x relop y then L表示成四元式为。
a. (relop，x，y，L)；b. (relop，L，x，y)；c. (relop，x，L，y)；d. (L，x，y，relop)；8. 在编译程序中，不是常见的中间语言形式。
a.波兰式；b. 三元式；c. 四元式；d. 抽象语法树；9. 在编译程序中安排中间代码生成的目的是________。
a. 便于提高编译效率；b. 便于提高分析的正确性；c. 便于代码优化和目标程序的移植；d.便于提高编译速度；10. 按照教材中的约定，下面不是类型表达式：a. boolean；b. type-error；c. real；d. DAG；11. 一个Pascal函数function f ( a, b:char ) :↑integer;……其作用域类型是：a. char×integer；b. char×char；c. char×pointer(integer)；d. integer×integer；12. 因为标识符可用于多种情况，比如常量标识符、变量标识符、过程标识符等等。
因此，在符号表中为了给出各个符号的标志，常给标识符引入一个属性kind，然后在相应产生式的语义动作中添加给kind属性赋值的语句。
比如，在在产生式D id:T的语义动作中添加赋值语句id.kind= 。
a. V AR；b. CONSTANT；c. PROC；d. FUNC；13. 下面情况下，编译器需要创建一张新的符号表。
a. 过程调用语句；b. 标号说明语句；c. 数组说明语句；d.记录说明语句；14. 函数function f(a,b:char):↑integer;…所以f函数的类型表达式为：a. char×char→pointer(integer)；b. char×char→pointer；c. char×char→integer；d. char×char→integer (pointer)15. 如果一个语言的编译器能保证编译通过的程序，在运行时不会出现类型错误，则称该语言是。
a. 静态的；b. 强类型的；c. 动态的；d. 良类型的；一．答案：1. b；2. d；3. b；4. d；5. c；6. c.；7. a；8. a；9. c；10. d；11. b；12. a；13. d；14. a；15. b；二、填空题：1. 语法分析是依据语言的语法规则进行的，中间代码产生是依据语言的________规则进行的。
2. 多目运算x:=y[i]的三元式表示为两部分：________________和________________。
3.生成三地址代码时，临时变量的名字对应抽象语法树的____________。
4. 一个类型表达式或者是基本类型，或者由____________施加于其它类型表达式组成。
5. 在程序设计语言中，布尔表达式有两个基本的作用：一个是；另一个是。
6. 允许嵌套过程的语言，其过程说明语句的翻译用两个栈tblptr和offset分别保存尚未处理完的过程的和它们的offset，这两个栈顶的元素分别是正在处理的过程的的符号表指针和。
7. 在一些pascal的实现中，如果说明中出现了没有名字的类型表达式，编译器这样处理：建立一个来和每个声明的变量标识符相联系。
8. 赋值语句a:=b*-c+b*-c的后缀式为。
9. 多目运算X[i]:=y的三元式表示为两部分：________________和________________。
10. 编译器遇到常量说明时，要把常量值登录入并回送序号；在中为等号左边的标识符建立新条目，在该条目中填入常量标志、相应类型和常量表序号。
11. 典型的转移条件语句：if E then S1 else S2中，作为转移条件的布尔表达式E，赋予它两种“出口”：一是；二是。
12. 类型表达式或者是，或者是作用在其它类型表达式上得到的新的类型表达式。
13. pascal变量说明：var A:array[1..10] of integer与A相关的类型表达式为：。
14. 若T是类型表达式，则pointer(T)是类型表达式，它表示类型。
15. 通过一遍扫描来产生布尔表达式和控制流语句的代码存在一个问题，就是当生成某些转移语句时可能还不知道该语句将要转移到的语句的地址是什么。
采用的办法来解决这个问题。
二．1. 语义；2. (0): ( [ ]=, y, i )，(1): ( assign, x, (0) )；3. 内部结点；4. 类型构造符；5. 计算逻辑值；作控制流语句中的条件表达式；6. 符号表指针，相对地址；7. 隐含的类型名；8. a b c uminus * b c uminus * + assign；9. (0):（=[ ]，x，i）；(1):（assign，(0)，y）；10. 常量表；符号表；11. “真”出口，转向S1；“假”出口，转向S2；12. 基本类型；类型构造符；13. array(1..10, integer) ；14. “指向T类型对象的指针”；15. “拉链－回填”三、判断题：1. 中间代码是独立于机器的，复杂性介于源语言和机器语言之间，便于进行与机器无关调换代码优化工作。
（）2. 在程序设计语言中，一般来说，布尔表达式仅仅用于条件、循环等控制流语句中的条件表达式计算。
（）3. “回填”技术用于对过程中的说明语句进行处理时把计算出的有关符号的属性填入符号表。
( )4. 如果E是一个常量或变量，则E的逆波兰式是E自身。
( )5. 对于任何一个编译程序来说，中间代码的产生是不一定必要的。
（）6. 由于三元式中的三个域中，仅有两个域与地址有关，所以，三元式不是严格意义上的三地址代码。
（）7. 两个类型表达式要么是同样的基本类型，要么是同样的类型构造符作用于结构等价的类型，我们就说，这两个类型系统等价。
（）8. 对于Pascal这样允许嵌套过程的语言，每当遇到过程说明D→proc id ; D1; S时，便创建一张新的符号表，也就是说，让每个过程说明都有自己一张独立的符号表。
（）9. 记录类型的各个域变量分配存储区域的地址的确定是相对于为记录类型变量所分配存储区域的首地址的，所以记录类型不应该建立自己的符号表。
（）10. 类型表达式中不可出现类型变量，即类型变量值不是类型表达式。
（）11. 所谓类型系统就是把类型表达式赋给语言各相关结构成分的规则的集合。
同一种语言（比如C++语言）的编译程序，在不同的实现系统里（比如微软的Visual C++和Linux下的开源编译器TCC），可能使用不同的类型系统。
12. 四元式表示的是四地址代码，三元式表示的是三地址代码。
（）13. 生成三地址代码时，临时变量的名字对应抽象语法树的内部结点。
（）14. 后缀式是抽象语法树的线性表示形式，后缀式是树结点的一个序列，其中每个结点都是在所有子结点之后立即出现的。
（）15. 后缀表示形式只是用于表达式的，其他的语法结构比如条件语句、循环语句等不能使用后缀式。
（）三．答案：1. √；2. ×；3. ×；4. √；5. √；6. ×；7. √；8. √；9. ×；10. ×；11. √；12. ×；13. √；14. √；15. ×；四、名词解释：1. 三地址代码；2. 回填；3. 类型表达式；4. 类型系统；5. 静态语义检查四．答案：1. 三地址代码是由下面一般形式的语句构成的序列：x:= y op z。
其中x、y、z为名字、常数或编译时产生的临时变量；op代表运算符号如定点运算符、浮点运算符、逻辑运算符等等，每个语句的右边只能有一个运算符。
2. 通过一遍扫描来产生布尔表达式和控制流语句的代码的主要问题在于，当生成某些转移语句时我们可能还不知道该语句将要转移到的标号是什么。
为了解决这个问题，可以在生成形成分支的跳转指令时，暂时不确定跳转目标，而建立一个链表，把转向这个目标的跳转指令的标号键入这个链表，一旦目标确定之后再把它填入有关的跳转指令中。
这种技术称为回填。
3. 一个类型表达式或者是基本类型，或者由类型构造符施于其他类型表达式组成。
基本类型和类型构造符都因具体语言的不同而不同。
Ⅰ. 一个基本类型是一个类型表达式。
Ⅱ. 类型名是一个类型表达式Ⅲ. 类型构造符作用于类型表达式，其结果仍然是类型表达式Ⅳ. 类型表达式中可出现类型变量，即变量值是类型表达式。