← Chapter 3 · Functions

Chapter 3 · Functions

Composition as two successive steps

Track the inner and outer steps, compare their order, and check whether the intermediate output is allowed.

Order the function machines

Paper starting model
Original input → first machine → second machineFirst machineSecond machineInput trayIntermediate valueSend the input tokenFinal outputSend the input tokenSet numeric token: x = 2−35

Drag a handle or select an object, then tap its destination.

Input 2; order: f(u) = 2u → g(u) = u + 3.

Our claim or choice

Your construction is also an answer. Explain what you expect before checking.

Give your reason before checking.

Numeric readings
Values in this design
Machine orderxIntermediateFinal output
f(u) = 2u → g(u) = u + 32Send the input tokenSend the input token
g(u) = u + 3 → f(u) = 2u2Send the input tokenSend the input token
Tap and keyboard tools

Tab to an object. Arrow keys move handles; Enter selects a card or places it at a destination.

Select an object

Select a destination

Our saved board works

Works stay in this open page. Use the common notebook for consent-based saved notes.