第三章名词解释.docVIP

第三章 名词解释 1.最小化（minimize）指DFA M状态数的最小化，是指构造一个等价的DFA M，而后者有最小的状态。 2.标示符（IDentifier）是指用来标识某个实体的一个符号。在不同的应用环境下有不同的含义。 3.正规表达式（regular expression）是说明单词的模式(pattern)的一种重要的表示法（记号），是定义正规集的工具。 4.正规式（Normal form）正规式也称正则表达式，也是表示正规集的数学工具。 5.正规集（Normal set）如果把每类单词视作一种语言，那么每一类单词的全体单词组成了相应的正规集。 6. 有限状态自动机（finite state automaton）有限状态自动机拥有有限数量的状态，每个状态可以迁移到零个或多个状态，输入字串决定执行哪个状态的迁移。有限状态自动机可以表示为一个有向图。有限状态自动机是自动机理论的研究对象。 7. 词法分析器（Lexical analyzer）词法分析是指将我们编写的文本代码流解析为一个一个的记号，分析得到的记号以供后续语法分析使用。 8. 确定的有限自动机（DFA: Deterministic Finite Automata）自动机的每个状态都有对字母表中所有符号的转移。 9.五元式（Five element type）由五个要素组成的式子 ：由有限个状态组成的集合 ：由有限个输入字符组成的字母表 ：从到的单值映射，，指明当前态为p，输入字符a，下一个状态为q ：一个属于K的特定状态，称之为初始状态 ：若干个属于K的特定状态，它们组成的集合称之为终态集，记为Z。 10.非确定的有限自动机(NFA：Non deterministic finite automaton) 自动机的状态对字母表中的每个符号可以有也可以没有转移，对一个符号甚至可以有多个转移。自动机接受一个字，如果存在至少一个从 q0 到 F 中标记(label)著这个输入字的一个状态的路径。如果一个转移是「未定义」的，自动机因此不知道如何继续读取输入，则拒绝这个字。 11. 接受集（L（M）,Receiving set）对于Σ*中的符号串X，若集合f（ ，x）中含有属于终态集Z中的状态（即至少存在一条从 到 某一终态的通道，吧此通道中所有矢线上的标记连接起来就是符号串x），我们就说x为M所接受，所有这样的x所组成的集合称为NFA M的接受集，记做L（M）。即L（M）={x|f（ ，x）Z≠U，x∈Σ*） 12.映射（mapping）指两个元素的集之间元素相互“对应”的关系 13.贪心算法（greedy algorithm）在对问题求解时，总是做出在当前看来是最好的选择。也就是说，不从整体最优上加以考虑，他所做出的是在某种意义上的局部最优解。 14. 分隔符(Separator)标识文字分隔的位置 15.子集（subset）如果集合A的任意一个元素都是集合B的元素（任意a∈A则a∈B），那么集合A称为集合B的子集（subset）。 16.字符集（Character set）是多个字符的集合，字符集种类较多，每个字符集包含的字符个数不同，常见字符集名称：ASCII字符集、GB2312字符集、BIG5字符集、 GB18030字符集、Unicode字符集等。 17.线性方程（linear equation）线性方程也称一次方程。指未知数都是一次的方程。其一般的形式是ax+by+...+cz+d=0。 18.保留字（Reserved word）指在高级语言中已经定义过的字，使用者不能再将这些字作为变量名或过程名使用。 19.状态转换图（State transition diagram）通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为。此外状态转换图还指明了作为特定事件的结果系统将做哪些动作（例如，处理数据）。因此状态转换图提供了行为建模机制。 20.定义域（domain of function）是函数三要素(定义域、值域、对应法则）之一，对应法则的作用对象。求函数定义域主要包括三种题型：抽象函数，一般函数，函数应用题。含义是指自变量 x的取值范围。 21.类别码（Classification Code）按照信息分类编码的结果，利用一个或一组数字、字符，或数字字符混合标记不同类别信息的代码。 22.数制转换（Number System Conversion）各类数制之间的转换。比如10进制，2进制，8进制，16进制之间的转换。 23.目标代码（object code）指计算机科学中编译器或汇编器处理源代码后所生成的代码，它一般由机器代码或接近于机器语言的代码组成。 24.驱动程序（Device Driver）是一种可以使计算机和设备通信的特殊程序。相当于硬件的接口