Computing by Observing Insertion
Computing by Observing Insertion
复制标题
通过观察插入进行计算
DOI：
10.1007/978-3-642-28332-1_32
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Peter Leupold
中科院分区：
文献类型：
--
作者：
Alexander Krassovitskiy;Peter Leupold
观察计算是一种计算的理论模型，它试图将自然科学中实验的标准设置形式化。我们建立了具有空上下文和只有一个插入字母的插入系统，该体系结构足以接受所有递归可列举的语言。虽然到目前为止，在大多数情况下都需要上下文无关的能力，但在这里，亚规则系统在这种情况下会导致计算的完整性。此外，我们还研究了具有较弱观察者的模型中更复杂的插入系统，该模型称为观察变化。
Computing by Observing is a theoretical model for computation that tries to formalize the standard setup of experiments in natural sciences. We establish that insertion systems with empty contexts and only one inserted letter suffice in this architecture to accept all recursively enumerable languages. While so far in most cases context-free power was needed, here a sub-regular system leads to computational completeness in this context. Further, we investigate more complicated insertion systems in a model with less powerful observer called Observing Change.
通过观察变化进行计算
DOI：
--
发表时间：
2009
期刊：
Natural Computing(Springer, Japan) 単行本
影响因子：
--
作者：
M.Cavalier;P.Leupold
通讯作者：
P.Leupold
认识 DNA 剪接
DOI：
--
发表时间：
2009
期刊：
Natural Computing 9
影响因子：
--
作者：
M.Cavalier;N.Jonoska;P.Leupold
通讯作者：
P.Leupold