ANLDE

Associated with a context-free grammar Nonegative Linear Diophantine Equations. For example, a typical ANLDE system:

x1 + x2 = 2*x1 + 3*x3
x3 + x4 = x1 + 2*x2 + x3