[论文解读] A universal alphabet and rewrite system

Peter Rowlands, Bernard M. Diaz|ArXiv.org|Sep 23, 2002

Computability, Logic, AI Algorithms参考文献 17被引用 11

一句话总结

本文提出了一种基于递归与迭代规则的通用字母表及重写系统，该系统在每一步均保持零符号不变，从而生成无限字母表。该系统使子集字母表能够进行代数解释，并通过最小化、动态演化的符号系统支持基础物理建模，展现出涌现性质。

ABSTRACT

We present two ways in which an infinite universal alphabet may be generated using a novel rewrite system that conserves zero (a special character of the alphabet and the symbol for that character) at every step. The recursive method delivers the entire alphabet in one step when invoked with the zero character as the initial subset alphabet. The iterative method with the same start delivers characters that act as ciphers for properties that the developing subset alphabet contains. These properties emerge in an arbitrary sequence and there are an infinite number of ways they may be selected. The subset alphabets in addition to having mathematical interpretation as algebra can also be constrained to emerge in a minimal way which then has application as a foundational physical system. Each subset alphabet may itself be the basis of a rewrite system where rules that operate on symbols (representing characters) or collections of symbols manipulate the specific properties in a dynamic way.

研究动机与目标

• 开发一种能够无限扩展同时保留基本零符号的通用字母表系统。
• 探索递归与迭代重写规则如何生成具有涌现数学与物理性质的结构化字母表。
• 证明子集字母表可作为代数系统，并作为物理理论的基础模型。
• 表明作用于符号或符号集合的重写规则可动态操控演化的字母表的性质。
• 建立一个框架，使字母表结构可被约束为最小且具有物理意义的配置。

提出的方法

• 递归方法在以零字符为起点时，一步即可生成整个无限字母表。
• 迭代方法生成的字符充当演化的子集字母表中固有属性的代币。
• 属性以任意序列出现，存在无限多种可能的选择顺序。
• 子集字母表可进行代数解释，并可被约束为最小配置以用于物理建模。
• 每个子集字母表可作为新重写系统的基底，其中规则作用于符号或符号集合。
• 该系统在所有变换步骤中均保持零符号不变，确保结构不变性。

实验结果

研究问题

• RQ1 如何系统性地生成无限通用字母表，同时保留基本零符号？
• RQ2 递归与迭代重写规则在生成具有涌现性质的结构化字母表中分别起什么作用？
• RQ3 子集字母表在何种方式下可被代数解释，并可被约束为最小形式以用于物理建模？
• RQ4 基于符号的重写规则如何动态操控演化的字母表中的属性？
• RQ5 该系统作为物理理论基础框架的潜力是什么？

主要发现

• 递归方法在以零字符为起点时，可在一步之内生成完整的无限字母表。
• 迭代方法生成的字符以任意且无限多变的序列编码了演化的子集字母表的属性。
• 该系统在每一步变换中均保持零符号不变，确保结构一致性。
• 子集字母表可被解释为代数系统，从而支持其结构的数学分析。
• 子集字母表的最小配置可支持其作为基础物理系统的应用。
• 每个子集字母表可作为新重写系统的基底，允许通过定义规则动态操控符号属性。