正则自治异步系统对initial states的依赖性和传递性
The dependence on the initial states and the transitivity of the regular autonomous asynchronous systems
摘要:
异步系统是电子学中异步电路的非确定性实时的二值模型。自治性意味着没有输入,规律性意味着与(真实)动力系统的类比。我们介绍了这些系统的初始状态的依赖性和传递性的概念。
英文摘要:
The asynchronous systems are non-deterministic real time, binary valued models of the asynchronous circuits from electronics. Autonomy means that there is no input and regularity means analogies with the (real) dynamical systems. We introduce the concepts of dependence on the initial states and of transitivity for these systems.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。