2019年7月
链接
摘要： 静态链接 静态链接器以一组可重定位目标文件和命令行参数作为输入，生成一个完全链接的、可以加载和运行的可知陷阱目标文件作为输出。 输入的可重定位目标文件有各种不同的代码和数据节组成，每一节都是一个连续的字节序列。 为了构造可执行文件，连接器必须完成两个主要任务： 符号解析，目标文件定义和引用符号，每个 阅读全文
posted @ 2019-07-20 14:53 2hYan9 阅读(283) 评论(0) 推荐(0)
python学习笔记
摘要： Python 手册(https://docs.python.org/3/)的使用方法： 通过type()函数找到变量所属的类型，然后在官方文档中进行搜索。 print函数 python中的print函数与C语言中printf函数比较相似，但是有以下几点区别： python语句的结尾不需要分号，而且如 阅读全文
posted @ 2019-07-01 18:29 2hYan9 阅读(266) 评论(0) 推荐(0)
2019年6月
存储器层次结构
摘要： 随机访问存储器(Random Access Memory，RAM) RAM分为两种：静态的和动态的。 SRAM，用来作为高速缓存存储器，既可以放在CPU芯片上，也可以放在片下。由于SRAM存储器单元的双稳态特性，只要有电，它就会永远地保持它的值。即使有干扰来扰乱电压，当干扰消除时，电路就会恢复到稳定 阅读全文
posted @ 2019-06-25 11:17 2hYan9 阅读(592) 评论(0) 推荐(0)
索引
摘要： 什么是索引？ 索引是定义在存储表基础上，有助于无需检查所有记录而快速定位所需记录的一种辅助存储结构，由一系列存储在磁盘上的索引项组成。 而索引项又由两个字段组成：索引字段：用于进行检索的表属性；行指针：指向包含索引字段的行的在磁盘上的位置。 索引分为两类： 顺序索引：基于值的排序 散列索引：基于将值 阅读全文
posted @ 2019-06-22 09:22 2hYan9 阅读(314) 评论(0) 推荐(0)
上下文无关语言的性质
摘要： 上下文无关文法的范式 可以证明任何CFL都可以用只有A→BC或者A→α形式产生式的CFG产生，其中A，B和C是变元，而α是终结符。这种形式称为乔姆斯基范式(Chomsky Normal Form, CNF)。 为了得到这种形式的CFG，我们需要做很多初步的简化，而这些简化方法本身在很多方面都很有用： 阅读全文
posted @ 2019-06-15 16:08 2hYan9 阅读(3195) 评论(0) 推荐(1)
下推自动机
摘要： 下推自动机 下推自动机有一个七元组定义： 下面给出一个例子： PDA的状态迁移图 PDA的瞬时描述 一个PDA的瞬时描述对应于一个三元组。 PDA瞬时描述的迁移： PDA瞬时描述迁移的定理： 下推自动机接受的语言 以终结状态的方式接受 PDA通过消耗输入并且j进入接受状态来接受它的输入串，这种方式称 阅读全文
posted @ 2019-06-12 22:52 2hYan9 阅读(4558) 评论(0) 推荐(0)
上下文无关文法
摘要： 上下文无关文法 下面给出一个例子： 上下文无关文法的推导 生成树 下面给出一个例子： 歧义文法 如果一个字符串有多个推导，或者有多个生成树可以生成同样的字符串，则称这个文法是歧义的。如果每个字符串都只对应于一个生成树，则称这个文法是非歧义的。 下面给出一个例子： 去除文法的歧义性 无法根据一个确切的 阅读全文
posted @ 2019-06-12 22:20 2hYan9 阅读(2593) 评论(0) 推荐(0)
正则语言与有穷自动机
摘要： 正则表达式的运算符 1、两个语言L和M的并，记作L∪M，是只属于L或属于只属于M，或者同时属于二者的串的集合。这个运算符有时也记作L+M。 2、语言L和M的连接是以下形成的串的集合：取L中任意一个串，与M中任意一个串连接起来。一般用圆点或者根本不用任何运算符来表示两个语言的连接。 3、语言L的闭包（ 阅读全文
posted @ 2019-06-03 18:55 2hYan9 阅读(2740) 评论(0) 推荐(0)
2019年5月
自动机理论的中心概念
摘要： 字母表： 字母表是符号的有穷非空集合。用“Σ”符号表示字母表。常见的字母表包括： 串： 串（有时候被称为单词）是从某个字母表中选择的符号的有穷序列。 空串： 空串是出现0次符号的串。这个串记作ε，是可以从任何字母表中选择的串。 串的长度： 串的长度，即串中的符号的位数。串的长度的标准记号是|w|。例 阅读全文
posted @ 2019-05-15 08:48 2hYan9 阅读(720) 评论(0) 推荐(0)
php学习笔记
摘要： php变量： 与C语言不同的是，php中决定一个变量的类型的不是在该变量的声明过程中，而是在给变量赋值的过程中。即一个变量的声明不需要指定其类型，变量的类型取决于其存放的内容。变量的赋值和引用都只需要在变量名前面加一个“$"符号即可。 变量需要手动销毁：unset($var_name); php中的 阅读全文
posted @ 2019-05-15 01:06 2hYan9 阅读(141) 评论(0) 推荐(0)