COMP30026_2025_SM2 Supplementary or Special Exam: Models of Computation (COMP30026_2025_SM2) Requires Respondus LockDown Browser

WARNING: Very hard question. Only work on this if you are done with the rest. Let L be the language  { 𝑥 𝑦 | 𝑥 , 𝑦 ∈ { 𝑎 , 𝑏 } ∗  and  | 𝑥 | 𝑎 > | 𝑦 | 𝑏 } Where `|x|a` means "the number o...