线性自动机理论(Ⅳ)——状态迁移图型(非奇异情形)

本文本部分在前面结果的基础上,来全面刻划非奇异线性自动机的图型,并确切回答图形的线性实现问题。即是,给出线性自动机图型的一般表达形式,给出一组平面图形得以实现为线性自动机之图型的充要条件或特征性质,并在得以实现的情况下求出实现所给图形的线性自动机。     

线性自动机理论(Ⅲ)——状态迁移图型(非奇异情形)

本文本部分在前面结果的基础上,来全面刻划非奇异线性自动机的图型,并确切回答图形的线性实现问题。即是,给出线性自动机图型的一般表达形式,给出一组平面图形得以实现为线性自动机之图型的充要条件或特征性质,并在得以实现的情况下求出实现所给图形的线性自动机。     

线性自动机理论(Ⅰ)——状态迁移图型——非奇异情形

本文在线性内动机的图型理论的基础上,进一步研究了线性自动机的图型,证明了在每个输入之下,自动机的图型只是顺向圈偶尔“略有”变化,即内动机的若干圈“归拢”而成自动机的一些倍数长的圈。     

线性内动机理论(Ⅲ)线性内动机的图型和图形的线性实现

引言本文(Ⅲ)是前两部分(Ⅰ)和(Ⅱ)的直接继续。在这里,我们将在前两部分的研究的基础上,具体地刻划线性内动机的图型并全面地讨论图形的线性实现问题。本部分(Ⅲ)由§§7—8组成。在§7中,为了具体地刻划线性内动机的图型并全面地讨论图形的线性实现问题,我们研究了圈环中标准元素之连乘积的一般表达式和圈环中之一元素分解为标准元素因子之连乘积问题,讨论了这种分解的唯一性和可能性,并且在可能的情况下给出了这种     

线性内动机理论(Ⅰ)

引言本文试图利用近世代数之工具,较为全面地研究线性内动机的一些基本理论问题.这些问题包括:机器的结构分析以及子机器的综合问题,特别是,具体地刻划线性内动机的图型和全面地研究图形的线性实现问题——究竟有哪些图形是可能由线性内动机实现的?一图形之线性实现又有多少种可能,并如何切实可行地实现之?     

线性内动机理论(Ⅱ)

引言本文的(Ⅱ)和(Ⅲ)部分是前部分(Ⅰ)的直接继续。在(Ⅰ)的一般的理论准备的基础上,以下的(Ⅱ)和(Ⅲ)部分将具体地刻划线性内动机的图型并全面地讨论图形的线性实现问题。本部分(Ⅱ)又是后部分(Ⅲ)的准备部分,集中讨论标准元素。标准元素相当于巡回     

线性有限自动机零状态的作用

通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。     

有穷自动机的线性实现算法

本文给出了一个有穷自动机线性实现的半可计算算法。此算法能判定一个有穷自动机在一个有限域K上是否有线性实现;并在有线性实现的情况下,给出它的线性实现。从计算复杂性的角度来看,此算法是可接受的。     

用键合图理论建立浮动自动机系统动力学模型

该文介绍了系统动力学键合图理论的基本思想，并结合火炮自动机的具体特点，以某浮动自动机为实例介绍了用键合图理论把浮动自动机系统表示成统一格式的图形和数学模型的方法和步骤。文中还给出了用所建立的浮动自动机键合图模型编程上机的运算结果，并将计算结果和实测的结果进行了对比。对比表明，计算结果和实测结果基本相符，这说明用键合图理论建立火炮浮动自动机的动力学模型是可行的。键合图理论是系统动力学的新的分支，把它引入火炮自动机的设计中，可以丰富和发展自动机的设计计算理论。     

语法图到产生式的自动转换

语法图和产生式是对语法的两种描述形式，一般在语言设计时采用语法图描述，在语言实现时采用产生式描述，从语法图到产生式的自动转换是编译程序自动化课题内容的一部分。作者对语法图的图符号给出了确切的定义，并提出了连接关系图的概念，从而把语法图和有限自动机联系起来，以有限自动机为过渡形式，使语法图到产生式的自动转换机理清晰，实现方便。不仅给出了语法图到产生式的转换原理，还给出了考虑优化的转换算法和具体实施步骤例，该方法在实际使用中有很好的效果。     

线性有限自动机的输入存贮性及其算法

讨论了线性有限自动机的输入存贮性,得到了线性有限自动机具有有限阶输入存贮的充要条件,并且给出了判断线性有限自动机有无有限阶输入存贮以及求线性有限自动机的输入存贮阶效的一些算法.     

图上串行细胞自动机的几个结果(Ⅱ)

讨论了图上串行细胞自动机的两个猜想之间的关系，给出了对给定的π，∑[FY，π]：Aut(Y)成立的必要和充分条件．     

拟（h，k）阶存贮线性有限自动机的一些结果

利用拟（r,r）阶存贮线性有限自动机可以轻松地构造出一个延迟r步弱可逆的有限自动机,这比文献[2]中通过Ra,Rb变换,对（r,r）阶存贮线性有限自动机进行一系列复杂烦琐的变换来构造一个延迟r步弱可逆的有限自动机的方法要简单可行。文章利用拟（r,r）阶存贮线性有限自动机,给出了一种构造延迟r步前馈可逆的线性有限自动机M和延迟r步前馈逆线性有限自动机时的简便方法。     

四川大学学报(自然科学版)一九八三年总目录

数 学关于Mi‘一空间的两个结果……………………………………………………蒋继光(1.1)K囿∑自动机…………………………………………………………………唐常杰(1·6)渗流力学引起的一个自由边界问题……………………………………………白东华(1·17)初论多项式微分系统的一般性质………………………………………………田景黄(1.25)关于丢番图方程x‘～2P管。:】的初等解法………………………………柯召、孙琦(2·1)高阶拟线性椭圆方程的非椭边值问题…………………………………………唐贤江(2.4)广义Me打一keele~’型映象的不动点定理……     

一类线性有限自动机的线性τ-弱逆

戴宗铎等人在域F上的一元多项式环F[z]与域F上的形式幂级数环F[[z]]之间,定义了一种乘法"*",使得F[[z]]作成一个F[z]一模,利用此模研究了线性有限自动机.在此讨论了一类线性有限自动机的线性τ-弱逆,给出了这类线性有限自动机一定τ-弱可逆的充分条件、构成它的τ-弱逆线性有限自动机的充要条件以及τ-弱逆线性有限自动机自由响应模的最小维数.     

关于线性內动机理論中的一个自由选取問題

§1.前言在线性内动机理论中,能否并如何线性实现一个事先不完全地给出的状态图形,是一个重要的综合问题.比方说,事先给出的图形仅仅是一个含有K个状态的顺向圈z_K.这样,整个线性内动机之状态图形的其它节点(状态)就成为自由选取(don’t care)的了,它们可以被任意地配置成适当的圈(非奇异情形)以至树形(一般情形).关于这一方面的一个问题是:给了一个顺向圈z_K,试求得以线性实现这个z_K的线性内动机的存储元件(单位延迟)的最小个数.Elspas在1959年提出了这个问题,但没有解决.本文将在作者以前的关于线性内动机理论的工作的基础上来讨论这个问题,     

有限群自动机的若干环论与图论性质

通过研究有限群自动机的关联环和导图来刻画有限群自动机,给出了有限群自动机不可约和不可分的一些判别法则。     

有限自动机积的初(末)态试验序列、UIO序列和同步序列

主要对积运算后有限自动机的初(末)态试验序列、U IO序列和同步序列进行了讨论,给出了积运算后的有限自动机与积运算前有限自动机的初(末)态试验序列、U IO序列和同步序列的联系,并给出了极小有限自动机的初态试验序列与U IO序列间的联系。     

在细胞图自动机上寻找图的基本回路

将细胞自动结构推广到任意图结构，并用它解决图论中的问题，是细胞自动机理论在图论领域中的一个应用．本文给出了用细胞图自动机求任意连通图的所有基本回路的并行算法     

幺半群-矩阵型自动机的自同态幺半群

基于对循环交换自动机的特征幺半群的研究,给出了幺半群-矩阵型自动机的一个刻画,同时讨论了幺半群-矩阵型自动机的输入集和幺半群的生成元集之间的关系,将群-矩阵型自动机的结论推广到幺半群-矩阵型自动机.