Istilah dimanipulasi meulalui padim boh aturan, (-keusetaraan, -reduksi, ngen –konversi), yeng merupakan aksioma teori jeut ditafsirkan seubagian aturan komputasi.