A recursively enumerable grammar has absolutely no restriction on what sort of transformation rules can be applied. Rules take the general form: | A recursively enumerable grammar has absolutely no restriction on what sort of transformation rules can be applied. Rules take the general form: |