L = {a^m b^n c^k : m+n=k, m,k,n≥1}
L = {a^m b^n c^(m+n) : m,k,n≥1}
L = {a^m b^n c^n c^m : m,k,n≥1}
G:{S→aSc|aAc; A→bAc|bc}
La gramática independiente del contexto que tiene un máximo de dos variables y que genera el lenguaje L = {a^m b^n c^k : m+n=k, m,k,n≥1} es G:{S→aSc|aAc; A→bAc|bc}.