摘要
本文证明存在(任意元)延迟2步弱可逆有限自动机不等价于任何两个延迟1步弱可逆有限自动机的化合的任何子自动机。因而说明了不是对所有的弱可逆有限自动机,延迟步数都是可分解的,但对所有状态的延迟步数均为2的二元延迟2步弱可逆有限自动机,则分解是可行的。
It is proved in this paper that there exits an n-ary weakly invertible finite automata with delay 2 which can not be equivalent to any subautomata of the composition of any two delay one WIFA.So not all the WIFA can be decomposed.A 2-ary WIFA with delay 2 can be decomposed if its states have same delay.
出处
《计算机学报》
EI
CSCD
北大核心
1993年第8期629-632,共4页
Chinese Journal of Computers
基金
科学院软件所青年科研基金
关键词
有限自动机
密码学
延迟步数
Finite automata,weakly invertible,delay,composition,decomposition.
