抽象几何计算的非确定性模型
摘要：信号机是一种抽象的几何计算模型，作为一维元胞自动机的扩展提出，在信号机中，离散的时间和空间被连续的时间和空间所取代。信号机被定义为一组元信号和一组规则。信号机从初始配置开始，初始配置是一组移动信号。信号在空间中自由移动直到发生碰撞。信号机的规则指定了碰撞之后发生的事情，或者换句话说，为每组碰撞信号指定了输出信号。最初，信号机通过其规则定义为一种确定性机器。本文介绍了非确定性信号机的概念，它可以包含每组碰撞信号的多个定义规则。我们证明了对于一类特定的非确定性信号机，称为k受限非确定性信号机，在任何给定的初始配置下，存在一个计算与非确定性信号机相同结果的确定性信号机。k受限非确定性信号机是一种非确定性信号机，它接受一个输入，当产生特殊的接受信号时，该信号最多有两个非确定性规则进行碰撞，并且在任何接受之前最多有k次碰撞。
作者：Rakhshan Harifi, Sama Goliaei
论文ID：1609.08874
分类：Emerging Technologies
分类简称：cs.ET
提交时间：2016-09-29