Programas por www.cs.virginia.edu/~ph4u/dprle/

DPRLE (procedimiento de decisión para ecuaciones de lenguaje regulares) resuelve las restricciones de subconjunto que implican variables de lenguaje y concatenación.