程序设计语言原理答辩-一种类Pascal静态编译语言.pptxVIP

一种类Pascal静态编译语言1. 语言综述2. 词法设计3. 语法设计4. 语义描述5. 词法语法分析器 01语言综述 语言综述设计目标设计原则严格的结构化形式，完备的数据类型，高效率的编写运行，完美的纠错机制。设计思路本语言是一种借鉴了C和Pascal的静态语言。Python 是解释执?的动态语?，具有丰富的语法糖和类库。缺点是执?效率低；并且动态语?由于没有构建的过程，因此很多错误只有等到运?时才会发现，代码检查?具的效率不?。因此，我们反其道而行之，设计了?种类Pascal的静态类型的编译型语?，既拥有?效的执?效率，?具有丰富的语?特性。从底层到上层完整实现一门语言。早期过程式语言调研，词法语法设计，指称语义设计与说明，词法分析，语法分析，纠错设计。它的优点有： 1、严格的结构化形式，简明灵活的控制结构。 2、丰富完备的数据类型。 3、运?效率?。4、查错能?强， 语?简单易学。5、无副作用的简单命令式语言，语义指称和实现上都不设计存储改变的副作用。 语言综述——设计特色精简性：此语言作为一个轻量级静态编译语言，舍弃了不常用的词法和语法形式，使得用户在学习，编写，编译，查错过程中都能体会到“简单”。完备性：虽然此语言较为精简，但是就词法来说，我们几乎囊括了所有常用关键字，运算符和数据类型，就语法来说，我们实现了从命令到程序的所有常见功能，完全满足轻量编程实践的需要。完整性：我们完整实现了从语言设计到语法分析器的步骤，并且考虑到了用户体验，用户可直接从我们的产品中获知编写的语言在编译层面的错误。词法，语法错误反馈机制： 借鉴了市场上绝大部分编译器的特点，我们通过语法树可以给出用户在哪一行，哪一部分代码可能发生了哪一类型错误。 语言综述——流程简述词法设计：借鉴了Pascal和C关键字，运算符，数据类型，高级数据类型EBNF说明语法设计：命令，表达式，名字，声明，参数，类型指示符，程序语义描述：类别同语法设计从存储域，环境域到语义域的完整描述分析器： 词法分析器——有限状态机语法分析器——LR（1），语法树错误指示 02词法设计 词法设计——原则满足轻量编程的需要功能完备功能性正交功能不可相互表达（如有了do…while就不再出现for） 词法设计——类别与数据类型说明关键字：keyWord类别本语?有20个关键字，在此将其定义为keyWord类型运算符：Calculation类别本语?有36种运算符，同样地，将其定义为Calculation类型数据类型：valueType类别本语?有7种数值类型，在此将其定义为Value类编号词符编号词符1is31=2func32==3begin33!=4proc34(5record35)6try36{7catch37}8if38[9else39]10then40^11do4112while42||13let43!14in44/*15var45*/16const46:17not47%18continue48//19break49++20typedef50--21+51?22-52?23*53+=24/54-=25,55*=26;56/=27?57Integer28=58?Char29?59??Real30=60??Boolean 语法设计——词法EBNF数值类型EBNF设计：valueType ::= Integer | Char | Real | Booleandigit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9Integer ::= digit，{digit}Real?::= int，.，intChar??::= 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 | zBoolean?::=?0 | 1关键字EBNF设计：keyWord ::= begin | proc | while | var | func | is | do | array | in | record | if | let | then | of | type | end | else | const | try | catch运算符EBNF设计：Calculation ::= + | - | * | / | , | ; | | = | | = | = | == | != | ( | ) | { | } | [ | ] | ^ | | || | ! | /* | */ | : | % | // | ++ | -- | | | += | -= | *= | /+ 03语法设计 语法设计——语法