From a1b4ac3eec5c07e74310ec76ece07a83969f2e53 Mon Sep 17 00:00:00 2001 From: KirisameVanilla <118162831+kirisamevanilla@users.noreply.github.com> Date: Tue, 9 Sep 2025 23:46:52 +0800 Subject: [PATCH] =?UTF-8?q?feat:=2023-24=202nd=20semester=20=E8=87=AA?= =?UTF-8?q?=E5=8A=A8=E6=9C=BA=E6=9C=9F=E6=9C=AB?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/courses/软件工程学院/云计算/index.md | 4 +-- .../2023-2024学年下学期期末_含答案.md | 5 ---- .../形式语言与自动机理论/2023-2024学年下学期期末.md | 23 +++++++++++++++ .../形式语言与自动机理论/index.md | 4 ++- .../形式语言与自动机理论/期末试卷.md | 29 ------------------- .../软件工程学院/计算机逻辑基础/index.md | 2 +- 6 files changed, 28 insertions(+), 39 deletions(-) create mode 100644 docs/courses/软件工程学院/形式语言与自动机理论/2023-2024学年下学期期末.md delete mode 100644 docs/courses/软件工程学院/形式语言与自动机理论/期末试卷.md diff --git a/docs/courses/软件工程学院/云计算/index.md b/docs/courses/软件工程学院/云计算/index.md index 3dab077..b8c5149 100644 --- a/docs/courses/软件工程学院/云计算/index.md +++ b/docs/courses/软件工程学院/云计算/index.md @@ -3,9 +3,7 @@ title: 云计算 order: 1 --- -# 课程评价 - -## 2024Fall +## 2024-2025学年上学期 ### 王廷 diff --git a/docs/courses/软件工程学院/信息安全数学基础（一）/2023-2024学年下学期期末_含答案.md b/docs/courses/软件工程学院/信息安全数学基础（一）/2023-2024学年下学期期末_含答案.md index 79b6c24..15ed863 100644 --- a/docs/courses/软件工程学院/信息安全数学基础（一）/2023-2024学年下学期期末_含答案.md +++ b/docs/courses/软件工程学院/信息安全数学基础（一）/2023-2024学年下学期期末_含答案.md @@ -1,10 +1,5 @@ --- title: 2023-2024学年下学期期末_含答案 -category: - - 软件工程学院 - - 课程资料 -tag: - - 试卷 author: - タクヤマ - KirisameVanilla diff --git a/docs/courses/软件工程学院/形式语言与自动机理论/2023-2024学年下学期期末.md b/docs/courses/软件工程学院/形式语言与自动机理论/2023-2024学年下学期期末.md new file mode 100644 index 0000000..b4fe90e --- /dev/null +++ b/docs/courses/软件工程学院/形式语言与自动机理论/2023-2024学年下学期期末.md @@ -0,0 +1,23 @@ +--- +title: 2023-2024学年下学期期末试卷 +author: + - タクヤマ + - KirisameVanilla +--- + +### 一、问答题 + +1. 有限状态自动机有哪些分类？它们之间有什么联系与区别？ +2. FSA（有限状态自动机）、DPDA、NPDA的表达能力有什么区别？ +3. 下推自动机的两种接收方式是什么？它们是否等价？ +4. 图灵机停机问题和判定性问题是什么？请简述 + +### 二、构造题 + +1. 考虑下述正则表达式 `$(a+b)^\*ab^\*$`，请将其先转化为 $\epsilon-NFA$，再转化为 DFA ，并将得到的 DFA 做最小化 +2. 构造一个图灵机，使得它接受 $a$ 与 $b$ 的个数相同，而且 $a$ 的数量与 $b$ 的数量均为 $3$ 的倍数的串（提示：可以采用带状态的图灵机拓展），并给出 $abbaba$ 的接受过程 +3. （这一题考的是：给定一个PDA，构造出对应的CFL，并将该CFL转化为乔姆斯基范式。原题的转移函数没复现出来，大家可以参照课件中例题，难度差不多） +4. 证明： $L = \{a^ib^jc^k|k=min(i,j)\}$ 不是上下文无关语言 +5. 考虑下述语法 $G$ ： $S\rightarrow SS|aSa|bSb|aa|bb$ + 1. 证明该语法有二义性 + 2. 证明该语法产生的语言有固有二义性 diff --git a/docs/courses/软件工程学院/形式语言与自动机理论/index.md b/docs/courses/软件工程学院/形式语言与自动机理论/index.md index be157d4..0498808 100644 --- a/docs/courses/软件工程学院/形式语言与自动机理论/index.md +++ b/docs/courses/软件工程学院/形式语言与自动机理论/index.md @@ -5,7 +5,9 @@ order: 1 ## 2023-2024学年下学期 -### 不知道叫啥 +- [期末试题](./2023-2024学年下学期期末) + +### 李钦 - [作业](drive.vanillaaaa.org/SharedCourses/软件工程学院/形式语言与自动机理论/2023-2024学年下学期/作业) - [课件](drive.vanillaaaa.org/SharedCourses/软件工程学院/形式语言与自动机理论/2023-2024学年下学期/课件) diff --git a/docs/courses/软件工程学院/形式语言与自动机理论/期末试卷.md b/docs/courses/软件工程学院/形式语言与自动机理论/期末试卷.md deleted file mode 100644 index 259c178..0000000 --- a/docs/courses/软件工程学院/形式语言与自动机理论/期末试卷.md +++ /dev/null @@ -1,29 +0,0 @@ ---- -title: 形式语言与自动机理论期末试卷 -category: - - 软件工程学院 - - 期末试卷 -tag: - - 形式语言 - - 自动机理论 - - 期末考试 ---- - -# 试卷 - -## 一、问答题 - -1.有限状态自动机有哪些分类？它们之间有什么联系与区别？ -2.FSA（有限状态自动机）、DPDA、NPDA的表达能力有什么区别？ -3.下推自动机的两种接收方式是什么？它们是否等价？ -4.图灵机停机问题和判定性问题是什么？请简述 - -## 二、构造题 - -1.考虑下述正则表达式 $(a+b)^\*ab^\*$ ，请将其先转化为 $\epsilon-NFA$，再转化为DFA，并将得到的DFA做最小化 -2.构造一个图灵机，使得它接受a与b的个数相同，而且a的数量与b的数量均为3的倍数的串（提示：可以采用带状态的图灵机拓展），并给出abbaba的接受过程 -3.（这一题考的是：给定一个PDA，构造出对应的CFL，并将该CFL转化为乔姆斯基范式。原题的转移函数没复现出来，大家可以参照课件中例题，难度差不多） -4.证明： $L = \\{a^ib^jc^k|k=min(i,j) \\}$ 不是上下文无关语言 -5.考虑下述语法 $G$ ： $S\rightarrow SS|aSa|bSb|aa|bb$ -(1). 证明该语法有二义性 -(2). 证明该语法产生的语言有固有二义性 diff --git a/docs/courses/软件工程学院/计算机逻辑基础/index.md b/docs/courses/软件工程学院/计算机逻辑基础/index.md index d4f4a22..539fd19 100644 --- a/docs/courses/软件工程学院/计算机逻辑基础/index.md +++ b/docs/courses/软件工程学院/计算机逻辑基础/index.md @@ -4,7 +4,7 @@ order: 1 --- ## 2024-2025学年上学期 -### 李卿 +### 李钦 - 资源列表 - [课件](https://drive.vanillaaaa.org/d/SharedCourses/%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2/%E8%AE%A1%E7%AE%97%E6%9C%BA%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80/%E8%AE%A1%E7%AE%97%E6%9C%BA%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80_%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2_2024Fall_%E8%AF%BE%E4%BB%B6.zip?sign=e_KyQ6N5IvRHDtidWhLSccXDqhy4yGVST-cxYX-xZZs=:0)