لغة Z |
عمومية |
يتم التعبير عن الخوارزميات بلغة خوارزمية ( لغة Z).
تعمل الخوارزميات على آلات مجردة.
خوارزمية = {وحدات متوازية }
يتم الإعلان عن الكائنات الشاملة في الوحدة الرئيسية.
التواصل بين الوحدات عبر الوسطاء والمتغيرات الشاملة.
تسمح لغة Z بكتابة الخوارزميات المنظمة
،
وهذا يعني الخوارزميات المعبر عنها بهياكل التحكم التالية:
إذا ع [ : ]
{ تعليمات }
[
وإلا
{ تعليمات } ]
نهاية_إذا
التكرار المشروط
مادام ع [ : ]
{ تعليمات }
نهاية_مادام
لكل V := ع1، ع2 [،ع3]
{ تعليمات }
نهاية_لكل
ع3، إذا كان موجودا، يدل على الخطوة.
لغة Z مجهزة
بعمليات متطورة
لغة Z تعترف وحدات العودية
لغة Z توفر بعض الوظائف المعتادة:
Mod, Max, Min,...
لغة Z تسمح أنواع مركبة مثل كومة من صفوف من أقوام من ...