程序语言设计原理作业报告-语⾔设计规格说明书.pdfVIP

语⾔设计规格说明书 1. 语⾔设计的背景及范型 Pyt hon 是解释执⾏的动态语⾔，具有丰富的语法糖和类库。缺点是执⾏效率低 ；并且动 态语⾔由于没有构建的过程，因此很多错误只有等到运⾏时才会发现，代码检查⼯具的效率不 ⾼。 因此，我们想设计⼀种类Pascal的静态类型的编译型语⾔，既拥有⾼效的执⾏效率，⼜具 有丰富的语⾔特性。 它的优点有 ： 1、严格的结构化形式，简明灵活的控制结构。 2、丰富完备的数据类型 3、运⾏效率⾼ 4 、查错能⼒强， 语⾔简单易学 2. 语⾔的语法、语义规格说明 2.1 词法EBNF 2.1.1 词法定义： 本语⾔的词法包括以下⼏⼤部分的类型定义 ： 2.1.2 关键字： 本语⾔有20个关键字，在此将其定义为keyWord类型，EBNF表达如下 ： keyWord :: begin | proc | while | var | f unc | is | do | array | in | record | if | let | t hen | of | type | end | else | const | t ry | cat ch 2.1.3 运算符： 本语⾔有36种运算符，同样地，将其定义为Calculat ion类型，EBNF表达如下 ： Calculat ion :: + | - | * | / | , | ; | | | | | | | ! | ( | ) | { | } | [ | ] | ^ | | || | ! | /* | */ | : | % | // | ++ | -- | | | + | - | * | /+ 2.1.4 数值类型： 本语⾔有7种数值类型，在此将其定义为Value类，EBNF表达如下 ： valueT ype :: Int eger | Char | Real | Boolean 另外 digit :: 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 Int eger :: digit ，{digit } Real  :: int ，.，int Char   :: a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z Boolean  ::   0 | 1 2.2 语法EBNF 2.2.1 命令 我们将Ident ifier，Int eger_Lit eral，Charact er_Lit eral，Operat or为原⼦操作，不再进⼀步定 义。 Command ：： ｜ V_name ： Expression                     ｜ Ident ifier(Act ual_Paramet er_Sequence) ｜ Command ；Command                     ｜ begin Command end ｜ let Declarat ion in Command ｜ if Expression t hen Command else Command ｜ while Expression do Command | t ry Command cat ch( Ident ifier : T ype_denot er) Command 指称语义 ： execut e ：Commamd→(Environ→St ore→St ore) execut e 〖 〗env st o st o execut e 〖V ： E〗env st o let variable val ident ify E env st o in let val evaluat e E env st o in updat e_variable(st o，var，val) execut e 〖I(APS)〗env st o let procedure proc