From ad569666c1ce88d303e596ff149e56675044f773 Mon Sep 17 00:00:00 2001 From: KirisameVanilla <118162831+KirisameVanilla@users.noreply.github.com> Date: Tue, 2 Sep 2025 22:23:57 +0800 Subject: [PATCH] =?UTF-8?q?wip:=20=E6=95=B4=E7=90=86=E8=AE=A1=E7=AE=97?= =?UTF-8?q?=E7=90=86=E8=AE=BA=E5=9F=BA=E7=A1=80=E7=9A=84=E8=AF=95=E5=8D=B7?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../计算理论基础/2024-2025学年下学期期末.md | 30 ++++++++++++++++++ .../计算理论基础/{期末试卷 => assets}/marble.png | Bin .../软件工程学院/计算理论基础/index.md | 9 ++---- .../2025春季学期计算理论基础期末考试试卷（回忆版）.md | 18 ----------- 4 files changed, 33 insertions(+), 24 deletions(-) create mode 100644 docs/courses/软件工程学院/计算理论基础/2024-2025学年下学期期末.md rename docs/courses/软件工程学院/计算理论基础/{期末试卷 => assets}/marble.png (100%) delete mode 100644 docs/courses/软件工程学院/计算理论基础/期末试卷/2025春季学期计算理论基础期末考试试卷（回忆版）.md diff --git a/docs/courses/软件工程学院/计算理论基础/2024-2025学年下学期期末.md b/docs/courses/软件工程学院/计算理论基础/2024-2025学年下学期期末.md new file mode 100644 index 0000000..e41aa5e --- /dev/null +++ b/docs/courses/软件工程学院/计算理论基础/2024-2025学年下学期期末.md @@ -0,0 +1,30 @@ +--- +title: 2024-2025学年下学期期末 +category: + - 软件工程学院 + - 课程资料 +tag: + - 试卷 +author: + - タクヤマ +--- + +## 2025春季学期计算理论基础期末考试试卷（回忆版） + +> 注：这次考试的形式是五道题自行选四个做, 每题25分, 多做没有加分；此外, 原卷面是英文, 请大家注意 + +1. 给出接受以下语言的DFA: + 所有以 $1$ 开头, 能被 $5$ 整除的二进制串, 如 $101, 1010, 1111$, 左侧（自动机读入的第一个符号）为最高位, 右侧为最低位 + +2. 请给出 DFA 化简中 State Elimination Technique 的复杂度的 tight bound, 要有明确的推理过程 + +3. A marble is dropped at A and B. Levers x1, x2 and x3 cause the marble tofall either to the left or to the right. Whenever a marble encounters a lever, it causes the lever to reverse after the marble passes, so the next marble will take the opposite branch. The game wins when there is a marble falls through C. The levers are all initialized to the left. Model this toy by a DFA. + + ![marble](./assets/marble.png) + +4. 证明语言 $L = \{a^nb^nc^md^m (n \geq m \geq 1) \cup a^nb^mc^md^n (n \geq m \geq 1)\}$ 不是 CFL + +5. 构造如下的图灵机, 其功能为：给定三个非负整数 $n, m, k$, 判断 $n + m$ 是否等于 $k$. + + 输入的形式为： + $$\underbrace{11……1}_{n\text{个}}0\underbrace{11……1}_{m\text{个}}0\underbrace{11……1}_{k\text{个}}$$ diff --git a/docs/courses/软件工程学院/计算理论基础/期末试卷/marble.png b/docs/courses/软件工程学院/计算理论基础/assets/marble.png similarity index 100% rename from docs/courses/软件工程学院/计算理论基础/期末试卷/marble.png rename to docs/courses/软件工程学院/计算理论基础/assets/marble.png diff --git a/docs/courses/软件工程学院/计算理论基础/index.md b/docs/courses/软件工程学院/计算理论基础/index.md index e248e6d..aa6fbea 100644 --- a/docs/courses/软件工程学院/计算理论基础/index.md +++ b/docs/courses/软件工程学院/计算理论基础/index.md @@ -1,13 +1,10 @@ --- -title: 信息安全数学基础（二） +title: 计算理论基础 category: - 软件工程学院 - 课程评价 tag: - - 信息安全 - - 数学基础 - - 抽象代数 --- +## 资源列表 -### 这门课是抽象代数，但是并没有涉及到抽象代数真正复杂的部分，较为浅尝辄止，所以课程本身的学习难度并不高。 -### 同样地，这门课实际考试不难，老师会捞，请大家不要害怕。 +- [2024-2025学年下学期期末试卷](./2024-2025学年下学期期末_含答案.md) diff --git a/docs/courses/软件工程学院/计算理论基础/期末试卷/2025春季学期计算理论基础期末考试试卷（回忆版）.md b/docs/courses/软件工程学院/计算理论基础/期末试卷/2025春季学期计算理论基础期末考试试卷（回忆版）.md deleted file mode 100644 index 73a4a5f..0000000 --- a/docs/courses/软件工程学院/计算理论基础/期末试卷/2025春季学期计算理论基础期末考试试卷（回忆版）.md +++ /dev/null @@ -1,18 +0,0 @@ -# 2025春季学期计算理论基础期末考试试卷（回忆版） - -## 注：这次考试的形式是五道题自行选四个做，每题25分，多做没有加分；此外，原卷面是英文，请大家注意 - -1.给出接受以下语言的DFA： -所有以1开头，能被5整除的二进制串，如101, 1010, 1111，左侧（自动机读入的第一个符号）为最高位，右侧为最低位 - -2.请给出DFA化简中State Elimination Technique的复杂度的tight bound，要有明确的推理过程 - -3.A marble is dropped at A and B. Levers x1, x2 and x3 cause the marble tofall either to the left or to the right. Whenever a marble encounters a lever, it causes the lever to reverse after the marble passes, so the next marble will take the opposite branch. The game wins when there is a marble falls through C. The levers are all initialized to the left. Model this toy by a DFA. - -![marble](marble.png) - -4.证明语言 $L = \{a^nb^nc^md^m (n \geq m \geq 1) \cup a^nb^mc^md^n (n \geq m \geq 1)\}$ 不是CFL - -5.构造如下的图灵机，其功能为：给定三个非负整数n, m, k，判断n + m是否等于k。 - -输入的形式为：$$\underbrace{11……1}_{n个}0\underbrace{11……1}_{m个}0\underbrace{11……1}_{k个}$$