There is the local constraint that any two adjacent phrase markers in a derivation must stand in one of finitely many relations; these permitted relations between adjacent phrase markers are the transformations.