为 L = {a^i b^j c^k | 提供上下文无关语法i+k > j and i, j, k ≥ 0} [关闭]

Question

在字母表 Σ = {a,b,c} 上为 L 提供上下文无关文法，其中 L = {a^ib^jc^k| i+k > j 且 i, j, k ≥ 0}

你能帮我证明一下吗？