Documentation

Complexitylib.Models.TuringMachine.Combinators.WorkSymbolBranch.Defs

Direct work-symbol branch combinator — definitions #

TM.branchWorkSymbolTM idx symbol onEqual onDifferent inspects one work tape and runs onEqual exactly when the current symbol equals symbol. This is the generic controller branch used by the sparse RAM lookup scan.

source
def Complexity.TM.branchWorkSymbolTM {n : ℕ} (idx : Fin n) (symbol : Γ) (onEqual onDifferent : TM n) :
TM n

Inspect one work symbol and run the selected branch on the same tapes.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Complexity.TM.branchWorkSymbolTime (equalTime differentTime : ℕ) :
    ℕ

    One dispatch step followed by either branch's advertised time.

    Equations
    Instances For