【软考-软件设计师】(八).程序设计语言

【软考-软件设计师】(八).程序设计语言

概述

文法

A：表示 0或A或AA。。。。*
(a|b), 匹配0个或者多个a/b
AB 表示对字符 A 匹配 0 次或多次。因此 B, AB, AAB 都符合

有集合题时：L=｛a^m b^m | m>= 0｝

正规式：

只能表示固定次数的重复 （不能表示 嵌套， ）

自动机

有限自动机：
都有等价的正规式，所以正规式不能表示的 他也不能
上下文无关文法：
能表示次数不固定的重复

有限自动机：
分为 确定的有限 和 非确定的有限
如果 确定的有限 和 非确定的有限等价 则可识别的记号完全相同

（1）D
（2）C ：用第一题代入更快，由于a选项连D都能实现，所以和文法不是正比 可排除

c. :.代入，

程序语言基础-表达式

先画出表达式的 树，再按后序来

语言特点

刷题补充笔记

词法分析：对源程序的字符串识别出一个个单词，用的工具是正规式和有限自动机
语法分析：把单词分解成 ：“短语，句子，程序段”等
中间代码，代码优化不是所以程序必须要的（与机器无关）
目标代码：生成低级语言代码

词法错误：拼写错关键字，标识符等
语法错误： 少；号 等语法结构错误
静态语义错误：类型，参数等不匹配；
动态语义错误：（逻辑错误）死循环。0作除数
（没有 语用错误，语境错误）

高级语言：不能直接运行
解释型:不生产目标代码
编译型：生成目标代码
反编译：只能转换成汇编程序

状态转换图：
两个状态等价：如s，t，如果同时满足下面两个要求，即能合并
（1）一致性：同是终态或非终态
（2）蔓延性：从s出发和从t出发读某个数到达的状态一样

状态图匹配：最后必须停在终态

面对对象程序语言：
封装性：不支持对一个对象的成员变量进行直接访问（破坏封装性）

数据必须有类型，作用不包括便于定义动态数据结构