Admission and Equivalence

The substitution notation is very powerful and we must be careful to place adequate conditions on its employment for any specific transformation. Strings which have the same referent should be regarded as equivalent for the purpose of substitution. There must be a procedure for forbidding certain syntactic configurations from entering certain transformations. The concepts of equivalence and admission apply to transformations in general — not merely substitutionally based transformations.