Программы www.cs.virginia.edu/~ph4u/dprle/

DPRLE (процедура принятия решений по обычным языковым уравнениям) решает подмножества ограничений, которые включают языковые переменные и конкатенации.