Programmi di www.cs.virginia.edu/~ph4u/dprle/

DPRLE (procedura decisionale per le equazioni regolari del linguaggio) risolve i vincoli del sottoinsieme che coinvolgono variabili del linguaggio e concatenazione.