一类格值自动机的极小化

• 作者: 冯甄玲
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 格半群 格值自动机 同余 同态 极小化
• 年，卷（期）: 2007,（34）
• 所属期刊栏目: 学术探讨
• 页码范围: 65-70
• 页数: 6页
• 分类号: O235|O153.1
• 字数: 8219字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.34.022

摘要

给出了格值自动机的同余和同态,从代数角度出发详细研究了同余和同态关系的代数性质,揭示了格值自动机的代数性质和取值格半群的紧密联系,利用同余和同态关系最终研究了格值自动机的极小化问题,在正则同余下给出了可在有限步实现具有模糊初始状态和特殊模糊终状态的自动机极小化的算法.