Pebble模糊有穷自动机和传递闭包逻辑

• 作者: 李永明 耿生玲 范艳焕
• 来源期刊: 模糊系统与数学
• 学科: 工学
• 关键词: 模糊有穷自动机 单体二阶逻辑 有界传递闭包模糊逻辑 Pebble模糊有穷自动机
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 模糊集理论
• 页码范围: 38-44
• 页数: 7页
• 分类号: TP301
• 语种: 中文

摘要

定义了Lukasiewicz逻辑下的一阶有界传递闭包逻辑,并且给出了模糊有穷自动机的一阶有界传递闭包逻辑;另外,我们还介绍了两类模糊有穷自动机:Nested模糊有穷自动机和Pebble模糊有穷自动机,并且证得这两类模糊自动机都可以由一阶有界传递闭包逻辑来刻画,因此它们并没有提升模糊自动机的语言识别能力;进而得到本文的主要结论:在Lukasiewicz逻辑下,模糊单体二阶逻辑与Lukasiewicz逻辑下的一阶有界传递闲包逻辑之间等价,且模糊自动机所识别的语言与Pebble模糊有穷自动机识别的语言是等价的.