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

Estoy confundido acerca de cómo construir una gramática que rastrea la resta de un elemento de cadena. No tengo idea de cómo comenzar con esto e intenté trabajar con una construcción equivalente del formulario

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

Cualquier sugerencia o sugerencia es apreciada.