الرياضيات, المنطق, علوم الحاسوب, نظرية الحوسبةالصيغة المعيارية (إعادة الكتابة المجردة) (Normal Form (abstract rewriting))