1) DNA finite automata
DNA 有穷自动机
2) DNA automaton
DNA自动机
1.
The implementation of a kind of serial binary carry-save adders based on DNA automaton is proposed.
提出了一种基于DNA自动机的串行二进制进位加法的实现方法。
2.
DNA automaton is a new content in research area of DNA computing.
本文的研究主要包括以下两个方面:DNA计算和DNA序列性质,它们分别涉及到以下内容: (1)随着生物技术的发展,DNA计算随之产生,而DNA自动机是DNA计算研究领域中较新的内容。
3) finite automata
有穷自动机
1.
Data structure designed for finite automata computation;
有穷自动机计算中数据结构的设计
2.
Equivalence between fuzzy recognizers and finite automata;
模糊识别器与有穷自动机的等价性
3.
The highway toll collector system was researched by using the finite automata theory.
利用有穷自动机理论研究了高速公路收费站的收费系统。
4) finite automaton
有穷自动机
1.
DNA algorithm of Hamilton path problem based on finite automaton;
哈密顿路径问题的一种基于有穷自动机的DNA算法
2.
DNA algorithm of primeness test based on finite automaton;
基于DNA有穷自动机的素性测试法
3.
First, we construct a monoid of a finite automaton, analyse its properties, and apply these results to the nondeterministic finite automation.
利用半群代数理论进一步讨论了自动机和形式语言的理论结构 首先构造了一个简单的有穷自动机的么半群,用代数理论分析了其性质,并推广到非确定性有穷自动机的情况 然后对字母表关于连接运算构成的么半群的性质作了进一步探讨,并给出了二进制串生成的半环,及研究了它的结构理
6) DFA
有穷自动机
1.
This method is established by using DFA theory,characters and goals of net-attacks and fully depending on states of the processes of net protocols and operation system,so it could discover unknown attacks.
该方法结合网络入侵的目标和特点,利用有穷自动机理论,基于网络协议来实现进程和操作系统的状态建立,从而可以发现未知的入侵。
2.
This model is established by using DFA theory,the characters and the goals of net-attacks and fully depending on the states of the processes of net protocols and operation system so that it can discover unknown attacks.
该模型结合网络入侵的目标和特点 ,利用有穷自动机理论 ,基于网络协议来实现进程和操作系统的状态建立 ,从而可以发现未知的入侵。
补充资料：ω-有限自动机
ω-有限自动机
ω-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在。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条