Istilah dimanipulasi melalui beberapa aturan (-kesamaan, -reduksi, wan -konversi), nang merupakan aksioma teori wan kawa ditafsir akan sebagai aturan komputasi.