3
Apa perbedaan antara penulisan ulang istilah dan pencocokan pola?
Karena tidak ada tanggapan di Lambda the Ultimate, saya coba lagi di sini: istilah sistem penulisan ulang digunakan misalnya dalam teorema otomatis yang membuktikan perhitungan simbolis, dan tentu saja untuk mendefinisikan tata bahasa formal. Ada beberapa bahasa pemrograman yang berbasis pada penulisan ulang istilah, tetapi sejauh yang saya mengerti konsepnya …