โปรแกรมตาม www.cs.virginia.edu/~ph4u/dprle/

DPRLE (ขั้นตอนการตัดสินใจสําหรับสมการภาษาปกติ) จะแก้ข้อจํากัดชุดย่อยที่เกี่ยวข้องกับตัวแปรภาษาและการเรียงต่อกัน