分布在环境中的动态计算结构的一种状态:模型及其推论
A state of a dynamic computational structure distributed in an environment: a model and its corollaries
摘要:
目前,人们对由底层规则计算环境组成的计算模型以及建立在它们之上的分布式计算结构有着极大的兴趣。这种模型的例子是细胞自动机,空间计算和时空晶体学。对于任何计算模型,定义不同但相关的计算结构的功能等价是很自然的。在有限自动机理论中,这种等价的一个例子是自动机同态,特别是自动机同构。如果我们继续坚持有限自动机理论,一个基本的问题出现了,什么是分布式计算结构的状态。本工作致力于具体解决这个问题。
英文摘要:
Currently there is great interest in computational models consisting of underlying regular computational environments, and built on them distributed computational structures. Examples of such models are cellular automata, spatial computation and space-time crystallography. For any computational model it is natural to define a functional equivalence of different but related computational structures. In the finite automata theory an example of such equivalence is automata homomorphism and, in particular, automata isomorphism. If we continue to stick to the finite automata theory, a fundamental question arise, what a state of a distributed computational structure is. This work is devoted to particular solution of the issue.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。