资源描述：
《要求分析和规格详细说明.doc》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、一、要求分析和规格说明1、PL语言分析相对于PASCAL和PS语言而言，PL语言是一种定义非常狭窄的小的程序设计语言，它的简单类型仅有整型（integer）和布尔型（Boolean）,过程定义不能有参数，a）符号：保留字：BooleanProcarraybegincallconstdoendfalsefiifintegerodreadskiptruewrite专有符号：・>*：=,/=>[（v・〜
2、+）]；&[]数字数字是十进制整数，范围从-32767到32767o标识符由字母开头的，后跟0个或多个字母或数字组成。数据类型：PL具有有两种基木数据类型，整型integer
3、和布尔类型Boolean0结构类型只有数组，不可以定义自己新的数据类型。程序结构：得到一个PL程序是v分程序>后跟有一个句号（圆点）的程序。分程序有定义部分DP和语句部分SP组成:beginDPSPend；分程序描述了在命名对象上的操作。对象是一个常量、变量或过程（类型由保留字表示）。每个对象有定义说明。不存在标准对象。作用域规则与PS相同。分程序内每个操作产生其内定义的变量的一个新实例。分程序的定义部分是后跟有分号的定义的序列：DI；D2；…Dn;例如：beginconsta=1;$常量部分integerb;$变量定义b:二10;$数值输出end.常量定义一般形式：co
4、nstv常量名〉二v常量〉常量定义说明常量的名字：constn=10（）变量定义一般形式：V类型符〉v变量表＞或：V类型符＞arrayv变量表〉[常量]前者是定义一般变量，后者是定义数组变量。数组的常量必须是自然数1，2,……,no它代表要定义的数组的元素个数，而数组的下标是从1开始的。例：integera,b,c;integerA[10];$定义有10个元素的数组变量APL遵循变量先定义后使用的规则，而且在同一个作用域范围内不允许有相同的变量名。但不同作用域变量名可以相同。也不能用PL的保留字做变量名。过程定义说明一般形式：Procv过程名＞v分程序＞PL的过程遵循先定
5、义后使用的规则，而且在同一个作用域范围内不允许有相同的过程名。但不同作用域过程名可以相同。也不能用PL的保留字做过程名。Procwrite$错误，这是PL的标准过程，不能重定义PL的语句空语句：—般形式：skip;它表示什么也不做。读语句一般形式：readv变量访问表〉；其中变量访问表：v变量访问＞{,v变量访问＞}它是PL的标准过程，也是唯一的一条输入语句。表示输入一个或多个整数并赋值给相应变量。例:reada,b,c;写语句—般形式：writev表达式表〉；其中表达式表:v表达式＞{,v表达式表＞}它是PL的标准过程，也是唯一的一条输出语句。表示输出一个或多个由表达式
6、定义的整数。例：writea,b,c*d,100;赋值语句一般形式：v变量访问表〉：=v表达式表〉；PL的赋值语句具有并行赋值的特点。例：a,b:=1,x+y;它表示依次把右边的表达式的值分别赋给左边对应的变量。上例就是把1赋给变量a,把x+y的值赋给变量bo过程语句一般形式：callv过程名〉；它表示调用用户自己定义过程，PL规定过程必须是先定义后使用的。if语句一般形式：ifv警戒命令表〉fi;其中警戒命令表：V警戒命令>{[]<警戒命令>}警戒命令：V表达式>->V语句部分〉PL依次检测各警戒命令，如果表达式的值为true则执行相应的语句部分，然后忽略其余警戒命令，
7、执行if后面的语句。如果所有表达式的值均为false这发出“if语句逻辑错误”的提示并终止程序的执行。例：讦a>b->t:=a;[]at:=b;fi；do语句一般形式：dov警戒命令表〉do;其中警戒命令表:v警戒命令>{[]<警戒命令>}警戒命令：v表达式〉->v语句部分〉PL依次检测各警戒命令，如果表达式的值为true则执行相应的语句部分，然后重新检测各警戒命令，直到所有表达式的值均为false才继续执行do后面的语句。例：doi>100->readi;od程序注释PL的注释以“$”字符开头，直到本行末为止。例如：begin1：=90;$这里也是程序的注释en
8、d.运算PL有下列四种运算与或运算：&：与运算，只有当两个布尔值均为true结果才为trueI:或运算，只要其中一个布尔值为true结果就为true关系运算:PL的关系运算和关系运算符有v二>运算的结果为布尔值加减运算加减运算+・参加运算的两个操作数和结果均为整数。乘除运算乘除运算*/参加运算的两个操作数和结果均为整数。*:两个数相乘/:两个数相除结果只取整数部分：两个数相相除结果只取余数部分非运算运算符〜表示把原来的布尔值取反。(3)文法分析:PL的BNF文法:v程序〉：:二v分程序〉V分程序〉::ibegiiTV定义部
