Manuscript VIII-ST@1 · VIII-ST.tex · section · fe979f3b

State of a description

Guarded flow and a complete five-command history › State of a description · lines 1475–1498

Back to manuscript

A description configuration contains:

Here is the catalogue index, the exact slice parameter, distinguishes incoming and outgoing zero germs, contains source and schedule stages, and are separate nonnegative permissions. The original-name location table uses only explicitly permitted persistent slots.

For the concrete operational instance, original names occupy a resting collar slot , extruded along the axial direction. No name is assigned to a collapsed outgoing cell or to the defect. The location word is abstract catalogue metadata; actual laboratory positions are supplied independently.

The command clock , an execution counter, geometric time , and the finite destructive-clock label are different objects.

Displayed formulas in this passage

  • unlabeled · line 1478

Nearby in this section