a rule that converts one phrase marker into another. Taken together, these rules, which form the transformational component of the grammar, convert the deep structures of sentences into their surface structures
2. (plural) logic
a rule that specifies in purely syntactic terms a method by which theorems may be derived from the axioms of a formal system