Normal forms in Virus Machines

要約

現在の研究では、ウイルス マシン (略して VM) の計算能力をさらに研究します。
VM は、ウイルスの送信および複製ネットワークからインスピレーションを得たコンピューティング パラダイムを提供します。
VM は、チャネルと呼ばれる弧をもつ有向グラフと、ホスト間のウイルス オブジェクトの送信を制御する命令グラフによって構造化されたプロセス ユニット (ホストと呼ばれます) で構成されます。
今回の研究では、正規形式を導入することで、VM の計算能力についての理解を補完しています。
これらの式は、特定のコンピューティング モデルの機能を制限します。
通常の形式で制限する機能には、(a) ホストの数、(b) 命令の数、(c) 各ホスト内のウイルス オブジェクトの数などがあります。
VM の計算能力に関するいくつかの既知の結果を思い出した後、ネットワーク内のループのサイズなどの正規形式を与え、有限集合、半線形集合、または NRE などの集合のファミリーの新しい特徴を証明します。

要約(オリジナル)

In the present work, we further study the computational power of virus machines (VMs in short). VMs provide a computing paradigm inspired by the transmission and replication networks of viruses. VMs consist of process units (called hosts) structured by a directed graph whose arcs are called channels and an instruction graph that controls the transmissions of virus objects among hosts. The present work complements our understanding of the computing power of VMs by introducing normal forms; these expressions restrict the features in a given computing model. Some of the features that we restrict in our normal forms include (a) the number of hosts, (b) the number of instructions, and (c) the number of virus objects in each host. After we recall some known results on the computing power of VMs we give our normal forms, such as the size of the loops in the network, proving new characterisations of family of sets, such as the finite sets, semilinear sets, or NRE.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google