1) linear bounded automation
线形有限自动化
2) finite automation
有限自动化
3) linear finite automata
线性有限自动机
1.
Minimization of (r,t) order memory quasi-linear finite automata;
(r,t)阶存贮拟线性有限自动机的极小化
2.
UIO sequences of linear finite automata and algorithms for fenerating the sequences;
线性有限自动机的UIO序列及其生成算法
3.
Character of input and output of linear finite automata
线性有限自动机输入输出集的性质
4) linear finite automaton
线性有限自动机
1.
The construction a linear weak inverse with delay σ of a given weakly invertible linear finite automaton M over F with delay σ is studied in this paper.
本文研究有限域F上-给定τ-弱可逆线性有限自动机M的线性τ-弱逆的构作问题(τ为非负整数),把它归结为找出相应的自由响应生成矩阵,并且,①刻画了M的给定一个传输函数矩阵的所有线性τ-弱逆的自由响应模;②对一特殊情形,给出了求上述自由响应模中具最小F-维数者的一种计算上可行的方法。
2.
We prove in this paper that R and an finite simple extension of R have self-injectivity simultaneously, and based on this,give a new proof for the result that every weakly invertible linear finite automaton over R with delay τ has a linear weak inverse with delay τ if and only if R is a self-injective ring.
本文证明了 R与其一种有限单扩张同时具有自内射性 ,从而给出“R上任一延迟τ步弱可逆线性有限自动机都有线性延迟τ步弱逆的充要条件是 R为自内射环”的一个新证明 。
3.
We study the problem when a given linear finite automaton M over a finite field can be imbedded in a linear finite automaton with memory using the module theory in this paper and get respectiYely a sufficient condition for M being able to be imbedded in a linear finite automaton with memory and a sufficient condition that M cannot be imbedded in nylinear finite automaton with memory.
本文应用模的手段研究域上线性有限自动机等价嵌入于其中存贮类型的问题，分别得到可等价嵌入的一个充分条件与不可等价嵌入的一个充分条件。
5) FAL Finite Automation Language
有限自动化语言
补充资料：ω-有限自动机
ω-有限自动机
ω-finite state automata
1094·。一youx一anz}dongJ-。.有限自动机(。一rinite state automata)一种在无限串上运行的有限状态自动机，是一种。一语言的识别模型。主要研究。一的各种识别方式以及在通常的五种识别条件下，识别的。一语言族之间的关系。特别，通过其中一种条件(即所谓CS)下识别的。一语言定义了QJ一正则语言，这是一种使。一自动机识别能力最强的识别方式。。一自动机理论的核心课题之一，是对。一正则语言的研究，包括对。一正则语言的描述及其性质的研究。 。一自动机最早在文献中出现的是J.R.Buchi(1960)利用工作在无限序列上的有限自动机获得关于受限二阶逻辑理论的一个判定过程。自此以后一些研究。一自动机的各种形式体系的论文陆续出现，其中J.R.Buchi，(1965，1969)，C.C.Elgot和M.0.Rabin(1966，1%9)等人的论文均受到这些模型与二阶逻辑理论之间的密切关心的启发，因此重点放在判定问题。D.E.Muller(1963)利用确定的。一有限自动机研究异步开关理论中的某些问题。R.MeNatlgllton(1966)首先发展了被。一有限自动机识别的。一语言的理论，即所谓的。一正则语言的理论。 。一有限自动机研究的内容包括。一有限自动机的定义，五种识别条件，。一正则语言的概念，对断正则语言的描述以及与五种识别模型相应的五个。-语言族之间的关系。 。.申与。一语言设乏是有限字母表，由乞中的字母组成的无限序列，称为艺上的沙串。用2表示艺上的所有。一串的集合。2的任意子集称为乏上的。一语言。 沙有限自动机一个五元组M=(K，乞，占，q0，F)，其中K为状态有限集，艺为输人字母表，占:Kx艺~ZK，q。(任K)为初始状态，F(里ZK)为指定状态集族。如果占:Kx艺~K，则M是确定的。一有限自动机。 设。=ala2’’·a，…，a，任乏，i=1，2，一。状态序列二={Q‘}，称为M在。上的一个运行，当且仅当q，任创q、一，，a*)，i=1，2，…。一个运行确定一个映射fr:N~K，井(i)=g，一l，i=1，2，…。令I(r)={，〔兀Icard(f厂1(。)))。}，o(二)=}、〔K If厂‘(g)半必}。 。一有限自动机的识别条件包括Cl，CZ，C3，C4与CS五个条件。。一有限自动机M在C，条件下识别。一串。，当且仅当存在M在。上的一个运行r，使满足C，i=1，2，3，4，5。其中 Cl:存在H任F，使I(二)nH共曰 CZ:存在H任F，使I(:)二H c3:存在H任F，使O(r)nH护曰 C4:存在H任F，使O(:)里H CS:存在H任F，使I(:)=H 设M=(K，乞，a，qo，F)是一。一有限自动机，称集合 界(M)=}。任2}存在M在。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条