拉丁阵的枚举和计数(Ⅱ)情形n=4,k≤4

本文给出(4,k,1)-拉丁阵(1≤k≤3)和(4,k)-拉丁阵(1≤k≤4)及它们的合痕类的数目.     

拉丁阵的枚举和计数(Ⅰ)情形n≤3

本文引入(n,k)-拉丁阵概念,讨论其枚举和计数的一般性质,并给出(2,k)-和(3,k)-拉丁阵及它们的合痕类个数的公式.     

单境自动机计算时间的kn2下界

本文引入单境自动机的h遍计算这一新概念。利用这一概念,对那些计算?(∑,N)或?(∑,Г) 中函数的单境自动机,证明了计算时间的和kn²下界。对于?(∑,N)中的一些函数和?(∑,Г)中全部函数,这种下界在一个常数因子内是紧贴的。     

关于前馈逆的结构的若干结果

设M′=(M_a,f)是一个c阶半输入存贮有限自动机,其输入字母表为Y,输出字母表为X。本文证明:(1)若X和Y的元素个数相同,则M′是延迟0步前馈逆的充分必要条件为存在M_a的状态图的一回路,对于其上任何状态P和Y中任何元素y₀,…,y_c-1,f(y₀,…,y_c-1,Y,λ_a(p))和X的元素个数都相同;(2)若X=Y={0,1},则M′是延迟1步前馈逆的充分必要条件为存在M_a的状态图的一回路,对于其上任何状态P和Y中任何元素y₀,…,y_c,f(y₀,…,y_c,λ_a(p))都可表示为f′(y₀,…,y_c-1,λ_a(p))⊕y_c的形式,或都可表示为f″(y₀,…,y_c-2,λ_a(p))⊕y_c-1的形式。     

可逆线性有限自动机

本文研究线性有限自动机的可逆性问题。首先证明任何延迟τ步可逆线性有限自功机都存在线性有限存贮自动机为逆,接着讨论这类逆自动机的构造问题,给出了综合方法,并给出了以它为逆的线性有限自动机的综合方法。     

一类一次独立拉丁阵的产生方法

首先提出拉丁阵的相关性概念,然后讨论独立次数≥1的拉丁阵的产生问题,文中给出了产生这种拉丁阵的一种方法,即对独立次数≥1的可逆向量Boole函数进行位移,最后,给出了一个基于真值表的、产生全部一次独立可逆向量Boole函数的方法.