主题
Search

多向系统


多向系统是一种替换系统,在任何阶段允许多个状态。 这适用于规则系统中存在多种可能的方式来执行更新的情况。

MultiwaySystem

一个简单的例子是字符串替换系统。 例如,采用规则 {AB->A,BA->B} 和初始条件 ABA。 有两种选择可以进行。 应用第一个规则产生演化 ABA toAA,而应用第二个规则产生演化 ABA->AB->A。 因此,在第一步,存在单个状态 ({ABA}),在第二步,存在两个状态 {AA,AB},在第三步,存在单个状态 {A}

通过多向系统的路径,由选择进行哪些替换而产生,称为演化。 通常,多向系统将有大量的可能演化。 例如,考虑由 AB 组成的字符串,规则为 AB->BA。 那么,大多数字符串将具有子字符串 AB 的多个出现,并且每次出现都会导致多向系统中的另一条路径。


另请参阅

自动定理证明器, 分支图, 分支空间, 因果不变性, 汇合, 多重计算范式, 多向图, 归约系统, 顺序替换系统, 替换系统, 项重写系统

此条目由 Todd Rowland 贡献

使用 Wolfram|Alpha 探索

参考文献

Gorard, J.; Wolfram, S.; and Piskunov, M. "MultiwaySystem." https://resources.wolframcloud.com/FunctionRepository/resources/MultiwaySystem.Wolfram, S. 一种新科学。 Champaign, IL: Wolfram Media, pp. 204-209 and 937-939, 2002.Wolfram, S. "Multicomputation with Numbers: The Case of Simple Multiway Systems." 2021 年 11 月 9 日。 https://arxiv.org/abs/2111.04895.Wolfram, S. "Expression Evaluation and Fundamental Physics." 2023 年 9 月 29 日。 https://writings.stephenwolfram.com/2023/09/expression-evaluation-and-fundamental-physics/.

在 Wolfram|Alpha 上被引用

多向系统

以此引用

Rowland, Todd. "多向系统。" 来自 MathWorld--Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/MultiwaySystem.html

主题分类