主題
Search

多向系統


多向系統是一種替換系統,在任何階段允許多個狀態。 這適用於規則系統中存在多種可能的方式來執行更新的情況。

MultiwaySystem

一個簡單的例子是字串替換系統。 例如,採用規則 {AB->A,BA->B} 和初始條件 ABA。 有兩種選擇可以進行。 應用第一個規則產生演化 ABA toAA,而應用第二個規則產生演化 ABA->AB->A。 因此,在第一步,存在單個狀態 ({ABA}),在第二步,存在兩個狀態 {AA,AB},在第三步,存在單個狀態 {A}

透過多向系統的路徑,由選擇進行哪些替換而產生,稱為演化。 通常,多向系統將有大量的可能演化。 例如,考慮由 AB 組成的字串,規則為 AB->BA。 那麼,大多數字符串將具有子字串 AB 的多個出現,並且每次出現都會導致多向系統中的另一條路徑。


另請參閱

自動定理證明器, 分支圖, 分支空間, 因果不變性, 匯合, 多重計算正規化, 多向圖, 歸約系統, 順序替換系統, 替換系統, 項重寫系統

此條目由 Todd Rowland 貢獻

使用 探索

參考文獻

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/.

在 上被引用

多向系統

以此引用

Rowland, Todd. "多向系統。" 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/MultiwaySystem.html

主題分類