非确定型模糊有限自动机的一种新的极小确定化方法
A new minimal determinization method of nondeterministic fuzzy finite automata
李平 1杨巨芳 1杨艳萍1
作者信息
- 1. 陕西师范大学数学与统计学院,陕西 西安 710119
- 折叠
摘要
非确定型模糊有限自动机的极小确定化是自动机理论中的一个重要问题.在格序幺半群下,本文给出一种非确定型模糊有限自动机的新的极小确定化方法,称为内部构造法.为此,首先给出了模糊状态的内部的定义及其相关性质,进一步证明任给一个非确定型模糊有限自动机,利用模糊状态的内部的性质得到一个极小的确定型模糊有限自动机与之等价,最后通过例子验证该方法的正确性.
Abstract
The minimal determinization of nondeterministic fuzzy finite automata(NFFA)is an important problem in automata theory.A new minimal determinization method for nondeterministic fuzzy finite automata with membership values in lattice-ordered monoids called interior construction is presented.For this reason,the definition of the interior of a fuzzy state and its related proper-ties are given firstly.It is further proved that for any nondeterministic fuzzy finite automata,a minimal deterministic fuzzy finite au-tomata is obtained by using the internal properties of fuzzy states,which is equivalent to it,finally,the correctness of this method is verified by an example.
关键词
格序幺半群/非确定型模糊有限自动机/确定型模糊有限自动机/极小确定化/内部构造Key words
lattice-ordered monoids/nondeterministic fuzzy finite automata/deterministic fuzzy finite automata/minimal deter-minization/interior construction引用本文复制引用
基金项目
国家自然科学基金(61673250)
陕西省自然科学基金(2020JM-247)
中央高校基本科研业务费专项(Gk201803008)
出版年
2024
NETL
NSTL
万方数据