摘要
给出两个有限自动机分别具有等价、弱同构、同构、强于关系时,它们相应的试验序列所具有的关系.
Two finite automatas testing sequence relations are given for the equal relation, the weak isomorphism, the isomorphism, and the strong relation respectly.
出处
《广西科学》
CAS
2008年第4期399-403,共5页
Guangxi Sciences
基金
广西自然科学基金项目(0832103)资助
关键词
有限自动机
等价
弱同构
同构
强于关系
初(末)态试验序列
同步序列
UIO序列
finite automata
equal relation
weak isomorphism
isomorphism
strongrelation
initial(final)state experimental sequence
synchronized sequence
UIO sequence