nbcli meta-notation

theorem

1.1 : Sa~ | A → So | Eo

canonical form of nbcli meta-notation: sampled audio input through abstract buffer A transforms to sonic output So expressed as Eo

axioms

Sx

( x ∈ a || v || c || i || a~ || v~ || c~ || i~ )

sampler input types: audio, video, control, image (raw or sampled)
| x → Sy |

( x ∈ A || V || C || I )
( y ∈ o || p || i )

transformation from abstract buffers to transform buffers (sonic, spatial, kinetic)
Ex

( x ∈ o || p || i )

expressor output types: sonic, spatial, kinetic

expressivity function

e = f(dimxyz, modn, morphbool, trop-1:1) / t

dimxyz: dimensional space
modn: modularity (n modules)
morphbool: transformation capability (true/false)
trop-1:1: tropism range (gravitropic ↔ phototropic)

rules of production

Rule 1: Add axiom

If there is sampled or unit generated input, then begin with Axiom 1, if not, begin with Axiom 2.

Rule 2: Add abstract buffer(s)

If there is more than one abstract buffer (e.g A and V), place them side by side in the statement before the transform arrow (→).

Rule 3: Add transform buffer(s)

As in rule 2, if there is more than one transform buffer (e.g. So and Sp), place only the series of n side by side with the transform buffer after the transform arrow (→). Like this: Sop.

Rule 4: Add output buffer(s)

Likewise to rule 2 and 3, if there is more than one output buffer (e.g. Eo and Ep), place only the series of x side by side in Axiom 3. Like this: Eop

derivation

Axiom 1 : Sa~

begin with sampled audio input

Apply Rule 2 : Sa~ | A → Sn |

add abstract buffer A, prepare for transformation

Apply Rule 3 : Sa~ | A → So | Eo

add transform buffer So and output buffer Eo

Result: Sa~ | A → So | Eo

complete meta-notation expressing the transformation chain

extended notation with expressivity

Sa~ | A → Sn | Eo ⟶ (xyz,1,0,±2)

expressivity parameters: (dimensional space, modularity, morphology, tropism)