Library / Notational Engineering DPF
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:05:20 UTC

NOT.2:12 - Relations

PatternContribution to the working method
NOT.1Selects the distinctions and operations the notation must support.
A.6.3.RT and A.6.3.RT.OESupply representation-scheme distinctions and expression construction when rules already exist.
NOT.3Develops the interpretation and reader operations that use the constructed expressions.
NOT.4Develops transformations with the necessary preservation, binding and side conditions.
MATH.17/.18Supplies operations on operations and interpretations for formal accounts of composition and binding.
CMP.12Constructs effective evaluation and translation of an admitted expression structure.
NOT.5/.6Develops translations or complementary expressions while retaining needed references.
NOT.7/.8Develops redesign for difficult reader operations and notation carried through time or embodied action.
C.2.8Characterizes what the prepared reader can recover under the actual access and effort conditions.