# 概念推導導讀

299 份概念教學導讀；另有 36,000 題逐題詳解，兩者分開查找。

[搜尋全部題目與詳解 →](/zh-Hant/explore/)

1共 2 項 · 第 1／1 頁



概念導讀



## [子集合：以任意元素證明包含，並以反例否定包含](/zh-Hant/derivations/derivation-mko-subset-01/?from=%2Fzh-Hant%2Fderivations%2F%3Fq%3Dmko-subset)

在論域 ℤ 中，令 A 為 6 的倍數之集、B 為偶數之集、C 為 4 的倍數之集。證明 A⊆B，且這個包含是嚴格的（A≠B）；證明 A⊄C，雖然 A 與 C 有共同元素 12；說明 B⊆B 成立（⊆ 允許相等）；並證明 {6}⊆A ⇔ 6∈A，同時分辨兩個語句的型別角色。

子集合

derivation-mko-subset-01



概念導讀



## [epsilon-NFA的完整reachable subset DFA](/zh-Hant/derivations/derivation-mko-subset-construction-nfa-to-dfa-01/?from=%2Fzh-Hant%2Fderivations%2F%3Fq%3Dmko-subset)

完整列轉移並以prefix induction證語言等價。

NFA到DFA的子集合構造

derivation-mko-subset-construction-nfa-to-dfa-01





1共 2 項 · 第 1／1 頁