| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 模糊有穷自动机与单体二阶Lukasiewicz逻辑 |
| 作者 | 李永明 |
| 作者单位 | (陕西师范大学计算机科学学院 西安 710062) |
| 发表年份 | 2008 |
| 发表月份 | 10期(1788—1794) |
| 文章摘要 | 摘要 该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Büchi与Elgot基本定理.通过引入星-自由模糊语言与非周期模糊语言, 刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言. 关键词 模糊逻辑；有穷自动机；单体二阶Lukasiewicz逻辑；模糊语言；模糊计算 |