Illustration 1
Position: 定理1证明：NFA等价于DFA Purpose: 展示子集构造法的核心思想 Visual Content: 演示NFA状态如何映射为DFA的子集状态 Filename: 01-proof-nfa-to-dfa.png
Illustration 2
Position: 定理2证明：DFA到正则表达式 Purpose: 展示状态消除法的转换过程 Visual Content: 演示如何逐步消除DFA状态得到正则表达式 Filename: 02-proof-dfa-to-regex.png
Illustration 3
Position: 定理4证明：CFG到PDA Purpose: 展示PDA如何模拟CFG的递归推导 Visual Content: 演示的栈操作和递归匹配过程 Filename: 03-proof-cfg-to-pda.png
Illustration 4
Position: 定理6证明：可判定性与可识别性 Purpose: 展示判定器、识别器与语言补集的关系 Visual Content: 演示必要性和充分性的证明思路 Filename: 04-proof-decidability.png
Illustration 5
Position: 定理7证明：Savitch定理 Purpose: 展示递归可达性算法的空间效率 Visual Content: 演示如何用O(s²)空间模拟非确定性O(s)空间 Filename: 05-proof-savitch.png