摘要
文中给出了广义正规自动机上L关系的定义。由此出发刻画了广义标准自动机,即L是等价关系的广义正规自动机。证明了L是广义标准自动机上的同余关系,并给出了商自动机A/L是循环自动机的刻画。
In this paper,the L-relation on the generalized normal automaton is introduced.A generalized normal automaton is called generalized canonical if L is an equivalence relation.Then a characterization of generalized canonical automaton is given.Also,it is proved that L is a congruence on the generalized canonical automaton.Consequently,the cyclic factor automaton A/L is discussed.
作者
徐慧
田径
金英姬
XU Hui;TIAN Jing;JIN Yingji(Department of Basic Course,Air Force Engineering University,Xi′an 710051,China;Economy and Finance School,Xi′an International Studies University,Xi′an 710128,China;School of Education,Xizang Minzu University,Xianyang 712082,China)
出处
《西北大学学报(自然科学版)》
CAS
CSCD
北大核心
2018年第2期168-171,共4页
Journal of Northwest University(Natural Science Edition)
基金
国家自然科学基金资助项目(11661073
61402364)
西藏自治区自然科学基金资助项目(2016ZR-15-19)
关键词
极小生成元集
广义标准自动机
循环自动机
商自动机
minimal generated set
generalized canonical automaton
cyclic automaton
factor automaton