Representation of particle dynamics in cellular automata by regular languages

元胞自动机是一种空间扩展的离散系统，其中局部站点根据其近邻的状态同时更新其状态。我们正在处理表现出动态移动的自定位的元胞自动机，或粒子，由非静止状态组成的紧凑的移动模式。细胞自动机粒子的研究在从非线性科学到计算机工程的一系列学科中具有重要的价值。自动机粒子是在自然系统中观察到的呼吸子、孤子、激子、扭结、缺陷和其他局部化的离散类似物。在基于碰撞的非常规计算体系结构中，离散移动自定位被用作信号和调制器。我们提出了一种新的方法来形式化分类、动态分类和估计相互作用粒子系统的计算潜力。我们用正则表达式集来表示相互作用的自动机粒子的动力学，并构造确定性有限状态机来生成由局部动力学导出的表达式。为了实现我们提出的目标，我们邀请Genaro Martinez博士/元胞自动机计算研究的国际专家/在布里斯托尔西英格兰大学工作，为期12个月。我们要求为访问研究员提供一年的薪水，以及通常的管理费用。

Cellular automata are spatially extended discrete systems, where local sites simultaneously update their states depending on states of their immediate neighbours. We are dealing with cellular automata that exhibit dynamics of travelling self-localizations, or particles, compact mobile patterns composed of non-quiescent states. Studies of cellular-automaton particles bring significant values in a range of disciplines, from non-linear sciences to computer engineering. The automaton particles are discrete analogues of breathers, solitons, excitons, kinks, defects and other localizations observed in natural systems. The discrete travelling self-localizations are used as signals and modulators in collision-based unconventional computing architectures. We propose a novel way to formally typify, and dynamically classify, and to estimate computational potential of interacting particle systems. We represent dynamics of interacting automaton particles by sets of regular expressions, and construct deterministic finite-state machines generating the expressions derived from the localization dynamics.To achieve the objectives proposed we are inviting Dr. Genaro Martinez / international expert in computational studies of cellular automata / to work at the University of the West of England, Bristol, for twelve months. We are asking for a one year salary for the visiting researcher, and usual overhead costs.