Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ii/paper-3/4j/b/solution

After the first rule , every sentential form is obtained from a sentential form of by uniformly renaming as . Each rule of has exactly the corresponding renamed rule in , and conversely. Terminal words contain neither symbol, so this bijection of derivations proves

New to topics? Read the docs here!