ETS formalism: transition to the next level
(a tentative form)
For each class supertransform in a transformation system, we choose
(shown on the left) and construct the
corresponding next-level primitive (shown on the right).
The initial sites of the primitive correspond to the interface sites, while the terminal sites of the primitive correspond to the terminal sites of the supertransform.