Salzberg Chris
Department of General Systems Studies, The University of Tokyo, 3-8-1 Komaba, Meguro-ku, Tokyo 153-8902, Japan.
Biosystems. 2007 Jan;87(1):1-12. doi: 10.1016/j.biosystems.2005.12.008. Epub 2006 Feb 23.
The conceptual divide between formal systems of computation and abstract models of chemistry is considered. As an attempt to concretely bridge this divide, a formalism is proposed that describes a constructive artificial chemistry on a space of directed graph structures. The idea for the formalism originates in computer science theory, with the traditional abstraction of a physical machine, the finite-state machine (FSM). In the FSM, the machine (state-transition graph) and input string (series of binary digits) are fundamentally distinct objects, separated by nature of the underlying formalism. This distinction is dissolved in the proposed system, resulting in a construction process that is reflexive: graphs interact with their own topological structure to generate a product. It is argued that this property of reflexivity is a key element missing from earlier model chemistries. Examples demonstrate the continuous emergence complex self-similar topologies, novel reaction pathways, and seemingly open-ended diversity. Implications of these findings are discussed.
本文探讨了形式化计算系统与抽象化学模型之间的概念鸿沟。作为弥合这一鸿沟的具体尝试,本文提出了一种形式主义,它在有向图结构的空间中描述了一种建设性的人工化学。这种形式主义的思想源于计算机科学理论,即传统的物理机器抽象——有限状态机(FSM)。在FSM中,机器(状态转换图)和输入字符串(一系列二进制数字)是本质上不同的对象,由底层形式主义的性质分隔开来。在本文提出的系统中,这种区别被消除了,从而产生了一个自反的构建过程:图与其自身的拓扑结构相互作用以生成一个产物。本文认为,这种自反性属性是早期模型化学中缺失的关键要素。示例展示了复杂自相似拓扑、新颖反应路径以及看似无限的多样性的持续涌现。本文还讨论了这些发现的意义。