有限自动机理论01章节基础知识.ppt

* * * * * * * * * * 就是从普遍性的理论知识出发，去认识个别的、特殊的现象的一种逻辑推理方法。演绎的基本形式是三段论式 . 一般到特殊. * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * B? A * * A ? B * * A ∩ B=0 * * ?和集合A本身都是集合A的子集。 任何集合A的幂集2A的元素都是集合。 * * 笛卡儿是著名的法国哲学家、数学家、物理学家，天文学家、、化学家和生理学家。 解析几何学奠基人之一。 欧洲近代哲学的奠基人之一，黑格尔称他为“现代哲学之父”。 笛卡儿堪称17世纪及其后的欧洲哲学界和科学界最有影响的巨匠之一，被誉为“近代科学的始祖”。 1596年3月31日生于土伦，1650年2月11日卒于斯德哥尔摩。 * * * * * * * 2的m*n方 m*n 0 * * * * [a]=[x] 若 aRx * * * * * * * * * * Chomsky于1959年，将他本人的形式语言的研究成果和Kleene的自动机的研究成果结合起来，不仅确定了文法和自动机分别从产生和识别角度定义语言，而且证明了文法与自动机的等价性。此时，形式语言与自动机理论才真正诞生。并被置于数学的光芒之下。 形式语言与自动机理论出现