软考（中级）软件设计师核心笔记（10）设计语言与程序基础

一、概念

低级语言：机器语言（0-1二进制）、汇编语言

高级语言：开发语言

1、编译与解释

2、特点

1.Fortran（早期）：科学计算，执行效率高

2.Pascal：为教学而开发，表达能力强

3.C：编译型，指针操作能力强，高效

4.Lisp：函数式程序语言，符号处理，人工智能

5.C++：面向对象，高效

6.Java：面向对象，中间代码，跨平台

7.C#：面向对象，中间代码，.Net

8.Prolog：逻辑推理，简洁性，表达能力，数据库和专家系统

9.Python：面向对象，解释性，胶水语言

3、基本成分

（1）：常见的数据类型

1.数字数据类型

2.布尔类型

3.字符类型

4.枚举类型

5.指针类型

（2）：控制结构

顺序结构、选择结构（if、else）、循环结构（for ···）

4、函数调用

在程序调用过程中，系统用 栈 实现嵌套调用（递归调用）函数的正确选择（入栈、出栈）

二、编译原理

1、编译过程

1.词法分析（检查字符）

从左到右逐个扫描源程序中的字符，识别其中如关键字、标识符、常数、运算符及分隔符

输入源程序，输出记号流

2.语法分析（检查结构）

根据语法规则，将单词符号分解成各类语法单位，并分析源程序是否有语法上的错误。包括语言结构出错，if ··· end if 不匹配，缺少分号、括号不匹配，表达式缺少操作数等，输入记号流

自顶向下（自上而下）分析法

字底向上（移进-规约）分析法

输入记号流，输出语法树（分析树）

3.语义分析（检查用途）

进行类型分析和检查，主要检查源程序是否存在静态语义错误。包括运算符合运算类型不符合（如取余时用浮点数）

2、文法

（1）：概念

一个形式文法是一个有序四元组G = {V, T, S, P}，流程为S =》P =》V（可以不经过）=》T

V：非终结符。不是语言组成部分，不是最终结果，可理解为占位符（一般是大写字母）

T：终结符。语言组成部分，是最终结果（一般是小写字母）

S：启始符。是语言的开发符号

P：产生式。用终结符替换非终结符的规则

正则闭包：A+（A1开始）

闭包：A*（A0开始）

（2）：语法推导树

1.特征

>每个节点都有一个标记，此标记是V的一个符号

>根的标记是S

>若一节点n至少有一个他自己除外的子节点，并且有标记A，则A肯定在Vn中

>如果节点n的直接子节点，从左到右的次序是节点n1,n2,······,nk，其标记A1,A2,······,Ak，那么此标记一定是P中的一个产生式

设：文法G = ({a, b}, {S, A}, S, P)

其中推导式：S => aAS|a，A => SbA|SS|ba（|表示或），由此可以得出 1.S => aAS，2.S => a，3.A => SbA，4.A =>SS，5.A => ba

构造aabAa推导树：

第一步：已知S位起始符，所以从起始符开始，寻找非终结符（字母大写）的推导式开始推导（即：S => aAS）

第二步：选择A推导式（3.A => SbA，4.A =>SS，5.A => ba），已知推导式第二个字母非终结符（aabAa小写a），所以应该选择3号推导式A => SbA，再由推导式（SbA）中S推导出a

第三步：此时已推导出推导式的前四个字母（aabA），最后一个a用S推导式推导出a即可

2.例题

由上述推导式可以分解出：E => T、E => E+T、T => F、T => T*F、F => -F、F => N、N => 0~9

解：思路，其中加减等符号也算一位符号

A：两减号--在一起没有可以推导的表达式，所以排除

B：E+T => E+T*F => E+-F*F => E+-F*N，符合文法

C：未发现()符号，所以排除

D：E => T => T*F 至此无法再往下推导，所以排除

3、正规式与正规集

正规集：正规文法字符串的集合

正规式：正规文法的集合规律表达式

4、有限自动机

状态转换机，验证单词

S为初始状态，f为终止状态

(S, 0) = B、(S, 1) = A、(A, 0) = f、(A, 1) = C、(B, 0) = C、(B, 1) = f、(C, 0) = f、(C, 1) = f

5、后缀表达式

前缀：+ab

中缀：a+b

后缀（逆波兰式）：ab+

最顶部在最上方，利用栈进行求值