L = {1i - 1j = 1i-j: i-j >= 0, i,j>=0}

утался в том, как построить грамматику, которая отслеживает вычитание строкового элемента. Я понятия не имею, с чего начать, и попытался работать с эквивалентной конструкцией формы

L = {1i = 1i-j + 1j}

Любые намеки или предложения приветствуются.