GUIDE
​
Functions
URL
Multiway Systems
Multiway systems are a core part of the
Wolfram Physics Project
. They are also highly general model systems that represent processes involving multiple outcomes at each step. Under the name "multiway systems" they were introduced in
A New Kind of Science
, but cases of them have appeared in various forms in various fields under names such as string and term rewrite systems, production systems, associative calculi, semi-Thue systems, and more.
□
MultiwaySystem
— general multiway system evolution and properties
Specialized Multiway Systems
□
MultiwayFunctionSystem
— multiway system based on a function with multiple results
□
MultiwayOperatorSystem
— multiway system based on transformations of patterns
□
MultiwayTuringMachine
 ▪
□
MultiwayCombinator
□
MultiwayGroup
 ▪
□
MultiwayMonoid
 ▪
□
MultiwaySemigroup
Multiway System Generation
□
QuantumToMultiwaySystem
— convert from a quantum circuit to a multiway system
AxiomaticTheory
— axiom systems to be used in multiway operator systems
Branching & Causal Invariance
□
CausalInvariantQ
 ▪
□
TotalCausalInvariantQ
□
BranchPairs
 ▪
□
BranchPairResolutions
 ▪
□
CanonicalBranchPairs
□
KnuthBendixCompletion
 ▪
□
CanonicalKnuthBendixCompletion
Path Finding & Theorem Proving
FindShortestPath
□
FindStringProof
— generate a proof object representing reachability of states
□
FindListProof
 ▪
□
FindWolframModelProof
 ▪
FindEquationalProof
□
FindEquationalCounterexample
— find a counterexample to a hypothesis
Additional String Multiway System Functions
□
GenerationalMultiwaySystem
— multiway system with "generational states"
□
MultiwayEvolutionPlot
— specialized visualizations for string multiway systems
String Overlap Functions
□
StringOverlapsQ
 ▪
□
StringOverlaps
 ▪
□
OverlapFreeStringTuples
RelatedGuides
▪
Wolfram Physics Project Functions
RelatedLinks
▪
Wolfram Physics Project Home Page
▪
Hands-On Introduction to the Wolfram Physics Project
▪
Wolfram Physics Project: Technical Introduction
A New Kind of Science