الآلات المجردة

 

مثال آلة المجردة  :  أكوام

 احجز_كومة( ك) :        حجز كومة فارغة.
كومة_فارغة( ك) :        تحقق مما كانت الكومة فارغة.
ضف_كومة( ك, ق) :     إظافة القيمة ق الى قمة الكومة ك.
نزع_كومة( ك, ق) :      انسحاب القيمة الموجودة فى قمة الكومة ك و جعلها في المتغير ق.