Chương trình theo www.cs.virginia.edu/~ph4u/dprle/

DPRLE (thủ tục quyết định cho các phương trình ngôn ngữ thông thường) giải quyết các ràng buộc tập hợp con liên quan đến các biến ngôn ngữ và nối.