一元减法的上下文免费语法

Question

给定语言L = {1 ^ i-1 ^ j = 1 ^（i-j）：i-j> = = 0，i，j> / = 0}。如何为这种语言编写无上下文语法？

我已经为一元添加写了一个，但已经坚持了一段时间。任何帮助表示赞赏。