XiaoMi-AI文件搜索系统
World File Search SystemCERTIFICATE
证书
*计算基础 CO2 值 = 377 g/kWh；数据来源：数据收集 2022 - 联邦混合 2022（截至 2023 年 8 月 7 日）德国电力供应的平均值。联邦环境署拥有原产地担保登记册 (HKNR)，负责根据欧盟指令 2009/28/EC 第 15 条和修订指令 2018/2001 第 19 条为德国生产的电力签发原产地担保 (HKN)，以及转移国内外原产地担保并贬值以进行电力标签。Bischoff & Ditze Energy GmbH & Co. KG 活跃于 HKNR 并使用公认的原产地担保。该证书是根据 2024 年 6 月 26 日的 RenewablePLUS TÜV 证书颁发的。广告声明将来可能会发生变化，因此无法对将来的广告声明提供任何法律保证。
证书
理论介绍；有限状态机（FSM）：FSM 介绍、FSM 示例、正则语言上的操作、非确定性 FSM 介绍、非确定性 FSM 的形式定义、确定性和非确定性 FSM 的等价性；正则语言：正则操作的闭包、正则表达式、正则表达式与正则语言的等价性、正则语言的抽水引理、正则语言总结；上下文无关语法和语言（CFG 和 CFL）：CFG 和 CFL 介绍、CFG 示例、CFL 的种类、CFL 的事实；上下文相关语言：乔姆斯基范式、乔姆斯基层次结构和上下文相关语言、CFL 的抽水引理；下推自动机（PDA）：PDA 介绍、CFG 和 PDA 的等价性、从 CFG 和 PDA 的等价性得出结论；图灵机 (TM)：TM 简介、TM 示例、TM 定义和相关语言类、Church-Turing 论题、TM 编程技术、多带 TM、TM 中的不确定性、TM 作为问题求解器、枚举器；可判定性：可判定性和可判定问题、对于 DFA 的更多可判定问题、有关 CFL 的问题、通用 TM、无穷大 - 可数和不可数、不可图灵识别的语言、停机问题的不可判定性、不可图灵识别的语言、可归约性 - 一种证明不可判定性的技术、停机问题 - 通过归约证明、可计算函数、TM 的等价性、将一种语言归约成另一种语言、后对应问题、PCP 的不可判定性、线性边界自动机；递归：打印自身的程序、编写自身描述的 TM、递归定理、递归定理的结果、不动点定理；逻辑：一阶谓词逻辑 - 概述、真值（含义和证明）、真实陈述和可证明陈述、哥德尔不完备定理；复杂性：时间复杂度和大 O 符号、计算算法的运行时间、使用不同计算模型的时间复杂度、时间复杂度类 P 和 NP、NP 的定义和多项式可验证性、NP 完备性、SAT 是 NP 完备的证明、空间复杂度类
