线性有限自动机的递增秩与FA公开钥密码体制的复杂性

有限自动机(FA)公开钥密码体制是由一个非线性延迟0步弱可逆FA与一个线性延迟,τ步弱可逆FA经化合实现加密算法的,本文将证明这样化合所得到的非线性FA具有与线性FA相同的、输入输出均匀的性质,其中线性FA的递增秩对化合后的非线性FA有很大影响,甚至决定了其某些性质,本文将给出一个概率算法,并从线性FA的递增秩求得该算法的复杂度,进而分析安全线性FA的参数规模。