Manuscript VIII-C@3 · VIII-C-v3.tex · section · 3b070436

Composite code domains and separate semantic classes

Finite reversible implementation › Composite code domains and separate semantic classes · lines 1882–1909

VIII-C@3#eq:composite-domain

Back to manuscript

Let denote a prescribed finitely encoded word, with deterministic canonical code maps. For each command let be its finite domain. Define

The domain includes canonical reports, exact clocks, finite indices, permissions, valid locations, and stage data.

Separately, is the class of matter states for which every supplied token along the decoded word satisfies its current semantic promise. Membership is not a finite circuit test.

Let append all required clean history and work registers. Each command receives a fresh history block. Previous histories remain retained and inaccessible to geometric control. An allocated monotone schedule-stage field separates each command's designated input and output sets.

Displayed formulas in this passage

  • VIII-C@3#eq:composite-domain · line 1888

Nearby in this section