Programmes par www.cs.virginia.edu/~ph4u/dprle/

DPRLE (procédure de décision pour les équations linguistiques régulières) résout les contraintes sous-ensemble qui impliquent des variables linguistiques et la concaténation.