摘要
对有限自动机Md、Mnd及M×Md、M∧Mnd的初(末)态试验序列、UIO序列和同步序列进行了讨论,给出了它们之间的关系及最短的试验序列个数的判定,并在此基础之上给出了M×Md和M×Mnd的初(末)态试验序列、UIO序列和同步序列的一些性质和结果。
The initial(final) state experimental sequence,UIO sequence and synchronous sequence of the finite automata Md,Mnd and M×Md,M∧ M,,a are studied. The nature and results of the initial (final) states experimental sequence,the synchronous sequence,UIO sequence of the finite automata are found after the full (restricted) direct product operation. The integer determination of the shortest experimental sequence and some connections of these sequences of the finite automata are given.
出处
《广西师范大学学报(自然科学版)》
CAS
北大核心
2008年第3期37-40,共4页
Journal of Guangxi Normal University:Natural Science Edition
基金
国家自然科学基金资助项目(60473005)
广西自然科学基金资助项目(0832103)
广西研究生教育创新计划资助项目(200710602701M48)
关键词
有限自动机
延迟元
直积
初(末)态试验序列
UIO序列
同步序列
finite automata
detention yuan
the full direct product of automata
initial(final) state experimental sequence
UIO sequence
synchronous sequence