形式语言与自动机-复习

发表于2025-12-24|更新于2026-04-25|TongjiCS-笔记term5形式语言

|总字数:74|阅读时长:1分钟|浏览量:

期末复习

第1题填空10个空，2分1个，共20分
第235题设计计算模型，每个20分共60分
第4题证明题 20分

难度比往年简单，比平时作业简单

缓考难度大

形式语言与自动机期末复习笔记.pdf

文章作者: BaBaLiBoo

文章链接: https://babaliboo.github.io/2025/12/24/%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80-%E5%A4%8D%E4%B9%A0/

版权声明: 本博客所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 BaBaLiBoo！

形式语言自动机专业课笔记

相关推荐

形式语言-正则语言&正则表达式

软件工程-复习

软件工程期末复习软工考点整理.pdf 一、概述1. 软件特性复杂性一致性可变性不可见性（复一变不见）演化性 2. 系统本质相互联系的一组元素的集合有特定功能的有机整体有边界需要与其他系统交互可能包含另一个系统是逐渐演变形成的 3. 软件工程定义 ① 将系统的、规范化的、可定量的方法应用于软件的开发、运行和维护 ② 对①中所述方法的研究基本目标低成本按时交付实现功能良好性能较高可靠性、可扩展性、可移植性维护费低软件开发活动问题定义需求分析软件设计软件实现软件测试软件演化软件需求功能需求性能需求可靠性需求约束性需求 4. 常用模型瀑布模型——适用于有明确需求、规范化的过程原型化模型——迅速建造一个可运行的软件原型，它使用户和开发人员对系统的相关方面进行检查，以决定是否合适和恰当。阶段化开发增量模型——在每一个新的发布中逐步增加功能直到构造全部功能。迭代模型——一开始提交一个完整系统，在后续发布中补充完善各子系统功能。可转换模型——采用形式化的数学方法描述系统，并利用一系列转换...

系统结构-1.基本概念

定量准则Amdahl定律系统加速比 SnS_nSn： Sn=T0Tn=1(1−Fe)+FeSe S_n=\frac{T_0}{T_n}=\frac{1}{(1-F_e)+\frac{F_e}{S_e}} Sn=TnT0=(1−Fe)+SeFe1 改进前整个任务执行时间/改进后整个任务执行时间 FeF_eFe：可改进比例 SeS_eSe：部件加速比例题：假设某测试程序中FP指令执行时间占50%，FPSQR指令占20%，用改进FPSQR指令速度为原来的10倍和改进FP指令速度为原来的2倍，哪种方案更好？ ① Sn=1(1−0.2)+0.210=1.22 S_n=\frac{1}{(1-0.2)+\frac{0.2}{10}}=1.22 Sn=(1−0.2)+100.21=1.22 ② Sn=1(1−0.5)+0.52=1.33 S_n=\frac{1}{(1-0.5)+\frac{0.5}{2}}=1.33 Sn=(1−0.5)+20.51=1.33 ∴ 方案2 优于方案1 CPU性能公式CPU时间= IC × C...

系统结构-4向量处理机

对应“ 标量处理机 ” 处理方式横向纵向纵横——又称分组处理，组内纵向，组间横向结构对比项存储器–存储器型寄存器–寄存器型数据来源主存 → 流水线主存 → 向量寄存器运算位置流水线直接对主存数据寄存器之间向量长度不受限制受寄存器长度限制访存次数极多极少对存储器要求极高较低是否需要纵横处理 ❌ 不需要 ✅ 必须代表机型早期向量机 Cray-1

操作系统-3.1内存管理概念

1. 原理程序的链接&装入将用户程序变为内存中可执行程序编译链接静态链接：运行前链接成完整的装入模块装入时动态链接运行时动态链接：只在需要它时才进行链接装入（逻辑地址→物理地址）绝对装入：绝对地址可重定位装入：相对地址，从0开始装入内存时进行重定位，若起始物理地址为100，所有地址+100 动态重定位装入时并不会立即将逻辑地址→物理地址，等程序真正执行时才进行进程的内存映像当一个程序调入内存，就构成进程的内存映像代码段：机器指令、只读数据数据段：读/写数据进程控制块PCB 堆：存放动态分配的变量。调用malloc动态向高地址分配空间栈实现函数调用从用户空间最大地址→低地址增长宏定义常量不专门分配空间，在预编译阶段直接读入内存保护 ①设上下限寄存器 ②重定位寄存器+界地址寄存器例：进程A物理地址100-279，逻辑地址0-179 重定位寄存器=100 界地址寄存器=179 此时访问逻辑地址80的内存单元 80<179→未越界（否则抛出异常） 80...

计网-3-数据链路层

第三章数据链路层一、组帧（封装成帧）主要问题帧定界 ——接收方确定帧的界限透明传输——接收方去除“帧定界”的附加信息方法 ①字符计数法帧长=计数字段长度+帧的数据部分长度缺点：一个字段出错后续所有无法定界 ②字节填充法特殊字符前插入转义字符 ③零比特填充法 ④违规编码法曼彻斯特编码中间不跳变——违规在首尾各加入一个违规信号二、差错控制目标：发现帧内部位错检测编码——接受方发现错后丢弃帧，通知发送方重传帧纠错编码—接收方发现并纠正比特错误检错编码 ①奇偶校验奇校验-整个校验码含奇数个1 偶校验-整个校验码含偶数个1 偶校验更常用，可使用异或运算求偶校验位偶校验但若跳变两处时无法检测出错误 ②循环冗余检验码CRC 信息码长度=6，校验码位数=3 除数=信息码补3个0=101001000 被除数=1101 使用模2除法检测&纠错将接收数据用1101进行模2除余数为000则没有出错 ③海明码三、流量控制&可靠传输滑动窗...