Sugestões de gramática livre de contexto para subtração unária?
L = {1i - 1j = 1i-j: i-j >= 0, i,j>=0}
Estou confuso sobre como construir uma gramática que rastreia a subtração de um elemento de string. Não tenho idéia de como começar isso e tentei trabalhar com uma construção equivalente do formulário
L = {1i = 1i-j + 1j}
Quaisquer sugestões ou sugestões são apreciadas.