关于复合自动机的一个注记

A NOTE ON COMPOUND FINITE AUTOMATA

摘要: 非线性有限自动机Ｍ１与线性有限自动机Ｍ０的复合Ｍ＝Ｃ′（Ｍ１，Ｍ０）用来设计公开钥密码体制．已经知道，对Ｍ１的一次广义线性ＲａＲｂ变换，在一定条件下，可诱导出对Ｍ的一次广义线性ＲａＲｂ变换．现已证明，这个条件是不必要的．并且指出，对Ｍ１的一次线性ＲａＲｂ变换可诱导出对Ｍ的一次线性ＲａＲｂ变换．然后讨论自动机复合的一些性质．

Abstract: The compound M=C′（M 1,M 0） of finite automata M 1 and M 0 plays a fundamental role in the design of finite automaton public key cryptosystem. Under certain conditions, a generalized linear R aR b transformation for M 1 can deduce a generalized linear R aR b transformation for M. It is demonstrated that such conditions are unnecessary, and that a linear R aR b transformation for M 1 can deduce a linear R aR b transformation for M.