- 博客(24)
- 收藏
- 关注
RSS订阅原创 C6 语法制导翻译-编译原理
****上图固有属性是词法分析器赋予的值。比如终结符的综合属性值。预先判断依赖图中是否存在循环依赖很难。可以缩小要求，对属性进行要求实现特殊的属性文法，分析树的依赖图肯定不会出现循环依赖。这种范围的缩小前面也有过，比如文法的无二义性包括了我们构造的各种确定性文法。直接就是后根遍历，计算N的所有综合属性，自底向上计算。这里是将做好的SDD修改变成SDT。想要进行自底向上分析的同时翻译就得引入继承属性帮助向下传计算完成的答案，而使用综合属性向上传。R这里承担的是一个匿名的变量 他代表很多个运算数。
2023-11-29 10:57:10
92
原创 续-自底向上分析（LR（1）分析法）
对于上图的状态4/5而言，已经出现了句柄，按理来说要归约（不管现在的输入是什么），但当输入符号为b时，也可以选择移进。即出现了一进-归约冲突。同时也可能出现归约归约冲突，比如同时出现B->a.和A->a.。只有当文法是相容时才能使用LR（0）正确分析。问题所在：：在LR(0)分析表的构造过程中，只要当前状态出现可以归约的项目，无论后面遇到什么符号都进行归约。为什么要取FOLLOW（A）？很简单，当前输入为a时分析栈内出现句柄，你是否要归约呢？归约之后格局中就出现了…Aa…。如果a∉FOLLOW（A），那么这
2023-10-21 00:05:30
107
1
原创 编译原理C5 自底向上的语法分析
寻找句柄可以单纯用brute-force 也就是暴力求解。移进-归约分析法：如果输入符号串是语言的一个句子，那么该格局对应文法的一个句型。
2023-10-16 20:25:44
66
1
原创 编译原理C4 自顶向下的语法分析
左递归有点像右线性的形式。这个文法的改造很有意思，语法变量的定义是递进的，假设一开始想要识别一个乘法，那么E必须推导为T，T再推导为T*F，而T和F都不可能再返回到E，也就是说一个乘法算式的两个乘子外侧的两个位置不可能凭空出现加减符号。优先级就是依此实现的吧！其实很好理解，A是βα*嘛 重新拆开表示就好了这两个循环写的很有意思，4-6的循环，从k=1开始，但凡有哪一个k没有接上FIRST（Xk）=空，都不会继续进行，也就是说剔除了Xk推不出空而Xk+1能推出空这类情况时更新FIRST（α）（不应该更新）7-
2023-10-16 20:24:48
63
1
原创 编译原理第2章笔记
字母表是一个非空有穷集合，由字符组成。（是一个字母表的乘积是笛卡尔积，幂次由乘积定义。正闭包vs克林闭包：后者包括空串。。。子串的定义需。一个语言：即是子集。很好理解，V对应的元素是不确定的，T对应的是确定的元素（terminal）注意α和β的所属集合。注意上图中LA使用的是至少一步推导，因为。而开始符号代表文法所定义的语言，？：0步推导指的是S就是w？
2023-10-16 20:21:50
245
1
原创 数据库实现——查询处理与优化
parser 分析、剖析。一个Query输入Mysql后经过语法分析器变成表达式树（Expression Tree），经过翻译器处理变成逻辑查询树，再经过优化器处理（最重要耗时的步骤）变成物理查询树，最后经过求值程序转化为输出。（上图） parameter 参数 经典相等比较+排序=二分。 合取简单理解为AND？ http://t.csdn.cn/ZeH0D http://t.csdn.cn/u4WsM 使用和上方的Nest-Loop-Join差不多的方法。 排序过程是在内存中完成
2023-09-22 20:48:40
100
1
原创 Tree Searching Strategies（树搜索策略 ）
很多问题的解可以表示为树；解为树的节点或路径，求解这些问题可以转化为树搜索问题。
2023-04-12 14:44:53
416
原创 3.18向老师的提问集合
元组是一样的捏，都是元组t，所以交是这么多。这个授权是说Alice在创造关系时可以以Cno为外键（参照）创造。这里只能在表级定义主码是因为主码属性不只有一个~
2023-04-12 14:41:15
48
原创 4.11日提问集合
我们证明无损连接性的思路是对于分解之后关系子表做自然连接之后得到的关系和原关系。首先要明确一个关系分解+自然连接之后关系元组，但是多了元组也是对关系的破坏信息的损失。我们只需要证明自然连接之后的表中任一条元组都能在原表里找到就能证明他俩。那么为什么我们能够通过更新这个矩阵就能证明这件事呢？为什么这个矩阵可以使用原关系中的函数依赖呢？我之前以为这个矩阵表示的是分解后关系做自然连接得到的大表，大错特错，如果不能保证函数依赖的保持性，分解后关系也根本不能保证有这些函数依赖；
2023-04-12 14:16:48
110
原创 Medians and Order Statistics(中位数以及顺序统计问题）
介绍了用减治思想求解中位数以及顺序统计数（求第k小的数）的选择问题
2023-03-11 09:24:08
276
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人