面向类Pascal的静态编译语言设计及语言的语法与指称语义分析设计.docxVIP

PAGE 2 面向类Pascal的静态编译语言设计 及语言的语法与指称语义分析设计 1. 语言设计的背景与范型 Python是一种解释型脚本语言，也是一种面向对象的动态类型语言，具有丰富的语法和类库。但是python的缺点有执行效率低，运行速度慢，很多情况下无法将程序连写成一行；并且动态语言由于没有构建的过程，因此很多错误只有等到运行时才会发现，代码检查工具的效率不高。 Pascal语言是最早出现的结构化编程语言，具有丰富的数据类型和简洁灵活的操作语句与控制结构，并且语法严谨，层次分明，程序易写，可读性强，编译运行效率高，查错能力强，有严格的结构化形式。 因此，本语言的设计目标是一种类Pascal静态类型的编译型语言，拥有高效的执行效率，又具有丰富的语言特性，并能够针对Python的部分缺点进行改进。所以本语言借鉴参考Python和C语言的众多优秀特性，同时以Pascal语言的静态编译特点为框架结构，设计出一个完备完整的，并且具有高效执行效率，严格词法语法错误反馈机制的结构化程序语言。 2. 语言设计思路与特点 设计目标：从底层到上层完整实现一门完备性良好的结构化的静态编译语言。 设计原则：严格的结构化形式，完备的数据类型，高效率的编写运行，严格的纠错机制。 设计思路：早期过程式语言调研，词法语法设计，指称语义设计与说明，词法分析，语法分析，纠错设计。 设计特色与优点： (1)精简性：本语言作为一个轻量级静态编译语言，舍弃了不常用的词法和语法形式，使得用户在学习，编写，编译，查错过程中都能体会到简洁方便。 (2)完备性：虽然本语言较为精简，但是就词法来说，本语言几乎囊括了所有常用关键字，运算符和数据类型。就语法来说，本语言借鉴参考了Python、C、Pascal语言的语法结构，实现了从命令到程序的所有常见功能，完全满足轻量编程实践的需要。 (3)完整性：本语言完整实现了从语言设计到语法分析器的步骤，并且考虑到了用户体验，用户可直接从本语言的输出提示中获知编写的语言在编译层面的错误。 (4)词法语法错误反馈机制：借鉴了市场上绝大部分编译器的特点，本语言通过语法树可以给用户指出在哪一行，哪一部分代码可能发生了哪一类型错误。 3. 语言词法设计与EBNF 3.1 关键字 本语言有20个关键字，在此将其定义为keyWord类型，EBNF表达如下： keyWord ::= begin | proc | while | var | func | is | do | array | in | record | if | let | then | of | type | end | else | const | try | catch 3.2 运算符 本语言有36种运算符，同样地，将其定义为Calculation类型，EBNF表达如下： Calculation ::= + | - | * | / | , | ; | | = | | = | = | == | != | ( | ) | { | } | [ | ] | ^ | | || | ! | /* | */ | : | % | // | ++ | -- | | | += | -= | *= | /+ 3.3 数值类型 本语言有7种数值类型，在此将其定义为Value类，EBNF表达如下： valueType ::= Integer | Char | Real | Boolean 另外有： digit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 Integer ::= 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 4. 语言语法设计与EBNF 4.1 命令语法 本语言在命令语法中包含完整的变量声明、参数传递、兼容原Pascal的begin-end与Let-in设计结构，同时本语言考虑设计了IF-Then-Else和While-Do当下流行的C语言结构（包含了递归机制的实现），并且考虑异常的错误捕捉设计了Try-Catch的语法结构。 本语言设计的语法结构相比Python会更加的简洁，并且设计的语句Command；Command解决了Python无法一行执行多个语句的缺点，设计重点在于静态编译特性能够高效率的编译执行代码。 本语言将Identifier，Integer_Literal，Character_Literal，Operator为原子操作，不