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