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

DPRLE (procedimento de decisão para equações linguísticas regulares) resolve restrições de subconjunto que envolvem variáveis linguísticas e concatenação.