First, l-valued successor and source operators are redefined and the equivalences of l-valued successor operators, source operators and l-valued subautomata are demonstrated.
给出了successor算子和source算子的另一种定义,讨论了successor算子、source算子和l-值子自动机之间的关系,得到了successor算子、source算子和l-值子自动机的某种等价性。
Because of its highly parallel computation, the investigators use DNA molecular automaton to simulate the electronic computer.
由于DNA计算具有高度的并行性,因此,研究者也把目光投向了用DNA分子自动机来模拟电子计算机。