Registry · Definition
III.D78
tau-effective
not_applicable
III.D78 — τ-Native Abstract Turing Machine
A τ-native abstract TM (TATM) defined in the E₃ diagrammatic sector: tape as τ-presheaf on the primorial tower, state set as finite τ-object, transition function as τ-morphism, computation as compatible family of finite computations at each primorial level. Abstract but τ-native, not ZFC-imported.
Book III
Part 9
Ch. 79