Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 1 4I d ii Solution Created 2026-09-24 Updated 2026-09-25
The compressed initial production gives the leftmost derivationIt has steps, whereas part (b) gives for every derivation in Chomsky normal form. The Weak Chomsky normal form ternary rule has compressed exactly one pair of binary productions, so the derivation is strictly shorter as required.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 1 4I d i Solution Created 2026-09-24 Updated 2026-09-25
TakewhereThis grammar is in Weak Chomsky normal form. In the original grammar, occurs only in and has the sole production . Thus every use ofis replaced in by , while every later production is unchanged. Conversely, the ternary production can always be expanded into those two original steps. Therefore is equivalent to in the sense of an equivalent grammar.