وهي تستخدم لمناقشة الحسابية دون الإشارة إلى أي نموذج ملموس من الحساب مثل آلات تورينج أو آلات التسجيل.
They are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.