molecular automaton

  双击或选中下面恣意单词，将显现该词的音标、读音、翻译等；选中中文或多个词，将显现翻译。

  Because of its highly parallel computation, the investigators use DNA

  to simulate the electronic computer.

  is constructed with a finite automaton and a pushdown store firstly,and an algorithm is designed to solv.

  文中首要经过在分子有限主动机上扩展一个分子下推存储器然后取得了一种简略的分子下推主动机,并根据该下推主动机提出了一类言语的

  is modified to traditional finite-state automata to strengthen function of automata.

  办法根据点点连格机器博弈系统,使用Moore主动机,为二人机器博弈系统建立了有限主动机模型,并在Moore主动机中引进受控子主动机,用监控器主动机作为该受控子主动机的输入控制器,完成了α-β查找进程。

  4)high polymer full-automation steeps medicine

  5)two-dimensional molecular cellular 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)使用确认的。一有限主动机研讨异步开关理论中的某些问题。atlgllton(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在。