程序分析技术课件.pptx

程序分析技术;程序分析技术;一、程序分析的任务;二、程序分析技术的应用;程序验证与测试 程序优化 重构 自动并行化 …… ;三、程序设计语言的发展;三、程序设计语言的发展 ——机器语言;三、程序设计语言的发展 ——汇编语言;三、程序设计语言的发展 ——高级程序设计语言;历史上的goto语句之争;三、程序设计语言的发展 ——高级程序设计语言;三、程序设计语言的发展 ——高级程序设计语言;三、程序设计语言的发展 ——高级程序设计语言;三、程序设计语言的发展 ——第四代语言;四、程序分析的一般方法; 五、静态的分析过程 ;程序分析技术;大 纲;1 基本概念;符号串的连接：设x和y均是字母表∑上的符号串，它们的连接是把y的所有符号顺序接在x的符号之后所得到的符号串。 符号串的方幂：设x是字母表∑上的符号串，把x自身连接n次得到的符号串z, 称作符号串x的n次幂，记作 z=xn ，特别地：x0=? 前缀和后缀：设x是字母表上的符号串，x=yz ,则y是x 的前缀，z 是x的后缀，特别是当z≠?时，y是x的真前缀；y≠ε时，z是x的真后缀。 子字符串：非空字符串 x ,删去它的前缀和后缀后所得到的字符串称为 x 的子字符串，简称子串。如果删去的前缀和后缀不同时为ε,则称该子串为真子串。;符号串集合：若集合A中的所有元素都是某字母表上的符号串，则称