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

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module:

Symbol: