模糊有穷自动机与单体二阶Lukasiewicz逻辑_ 李永明1 (陕西师范大学 ...docVIP

模糊有穷自动机与单体二阶Lukasiewicz逻辑( 李永明( （陕西师范大学计算机科学学院, 西安, 710062） 摘要：本文引入了单体二阶Lukasiewicz逻辑, 进而给出了模糊有穷自动机识别语言的逻辑描述, 证明了多值逻辑意义下的Büchi与Elgot基本定理. 通过引入星-自由模糊语言与非周期模糊语言, 我们完全刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言. 关键词：模糊逻辑, 有穷自动机, 单体二阶Lukasiewicz逻辑, 模糊语言, 模糊计算. 1 引言 形式语言在理论计算机科学研究中占有重要的地位, 对形式语言的刻画与分类一直是其中的一个重要的研究方向. 在这个方面, 一个重要的研究成果就是Chomsky对形式语言的分类体系. 业已证明Chomsky体系的每一类语言都可以用不同的方法进行描述. 对于最基本的正则语言类, 它可以用有穷自动机来识别, 也可以用正则表达式表示, 可以用正则文法来生成, 也可以用有穷半群来刻画等[1，2]. Büchi与Elgot进一步建立了正则语言与单体二阶逻辑可定义的语言之间的一致性, 并利用一阶逻辑可定义的语言对正则语言进行了分类[3，4，5]. 最近, Droste与Gastin对此进行了进一步推广, 在经典逻辑框架下, 他们研究了形式幂级数意义下的正则语言的逻辑描述[6]. 经典的形式语言是一种精确定义的语