Construct a TM that accepts {aⁱb^jc^k : i + 2j = k}