XiaoMi-AI文件搜索系统
World File Search System归约
证书
理论介绍；有限状态机（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 完备的证明、空间复杂度类
上帝对美国的计划
拿单的承诺 上帝对美国有一个计划，圣经揭示了这一点。当大卫王请求为约柜建造一座房子时，先知拿单带来了主的答案。上帝说：“我必为我民以色列选定一个地方，栽培他们，使他们住自己的地方，不再迁移。恶人也不像从前扰害他们。”（撒母耳记下 7:10）上帝所指的地方不可能是大卫统治的中东地区。上帝说他们“不再迁移”。北方部落被亚述人占领，再也没有回来。大约 120 年后，剩下的部落被带到巴比伦。当他们回来时，罗马在公元 135 年禁止他们进入应许之地。上帝还承诺“恶人”不会再像以前那样扰害他们，但亚述、巴比伦、希腊和罗马都这样做了。指定之地必须是另一个地方。清教徒当英国迫害清教徒和朝圣者时，他们发现美国可以成为避难之地。清教徒于 1620 年抵达，清教徒在 10 年后开始跟随。约翰·科顿为第一支前往美国的清教徒船队宣讲了告别布道。他以拿单的预言为文本，并引用了上帝给予古代希伯来人的其他承诺。清教徒相信他们是上帝的子民，继承了上帝给予以色列人的承诺。像早期的希伯来人一样，他们在所居住的国家是陌生人，不得不逃往另一个国家。美国是他们的应许之地，一个避难所，在那里他们将受到上帝的保护，免受“邪恶之子”的侵害，可以自由净化教堂，建立上帝的王国。雅各的遗产 上帝赐给亚伯拉罕“这地，从埃及河直到伯拉大河”（创世记 15：18）。亚伯拉罕的孙子雅各得到了那部分土地，但他说上帝还给了他更多的土地。他告诉儿子们：“你父亲所赐的福，胜过我祖先所赐的福，直到永世的山岭的边界”（创世记 49：26）。那些额外的土地，“永世的山岭的边界”，很可能是大陆海岸和岛屿的一部分。雅各把它们遗赠给约瑟：“这土地必归约瑟的头上，和那与弟兄别居之人的头上”（创世记 49：26）。就像约瑟被卖到埃及，后来登上权力宝座，并在饥荒期间养活了他的亲属一样，约瑟的后代也得到了一个单独的应许之地，在后来的时代，这个应许之地将提供避难所。这片应许之地与朝圣者和清教徒来到的地方相符。以赛亚的预言以赛亚称颂“那在埃塞俄比亚河流那边有翅膀遮蔽的土地”（以赛亚书 18:1）。埃塞俄比亚的河流是示巴周围的河流，约瑟夫斯将其确定为尼罗河，安塔普斯河和阿斯塔波鲁斯河（约瑟夫斯，犹太古史，第 2 卷，第 11 章）。这是示巴女王来见所罗门王的同一座城市（列王纪上 10，历代志下 9）。耶稣提到了这一事件，他说：“示巴女王