البرمجة, الذكاء الاصطناعي, الرياضيات, المنطق, علوم الحاسوبآلة إعادة كتابة المجردات (Abstract Rewriting Machine)