Kaucap kemanipulasin marginin makudang tata titi, (kapadaang, reduksi, lan konversi), sane marupa aksioma teori lan polih tafsiran pinaka tata titi komputasi.