If you do not find what you're looking for, you can use more accurate words.
يعرف المكدس بأنه بنية معطيات بسيطة تتمتع بعدد من العمليات المجردة والتي يمكن تحقيقها بحرية تامة. أو يمكن تعريف المكدس بأنه قائمة خطية من العناصر التي يمكن إضافتها وحذفها عند نهاية واحدة تعرف باسم القمة.
فيما يلي قائمة بتواقيع الطرق الخاصة ببنية معطيات المكدس:
init: -> Stack
push: N x Stack -> Stack
(top: Stack -> (N U ERROR
pop: Stack -> Stack
isempty: Stack -> Boolean
حيث يشير N إلى نمط معطيات عناصر المكدس (في هذه الحالة عدد طبيعي)، ويشير U إلى معامل الاجتماع المنطقي.
وفيما يلي معاني هذه العمليات:
top(init()) = ERROR
top(push(i,s)) = i
()pop(init()) = init
pop(push(i, s)) = s
isempty(init()) = true
isempty(push(i, s)) = false