لغة Z

 

عمومية

يتم التعبير عن الخوارزميات بلغة خوارزمية ( لغة Z).
تعمل الخوارزميات على آلات مجردة.
خوارزمية = {وحدات متوازية }

يتم الإعلان عن الكائنات الشاملة في الوحدة الرئيسية.
التواصل بين الوحدات عبر الوسطاء والمتغيرات الشاملة.
تسمح لغة Z بكتابة الخوارزميات المنظمة
، وهذا يعني الخوارزميات المعبر عنها بهياكل التحكم التالية:

الاشتراط

    إذا ع [ : ]
        { تعليمات }
    [
وإلا
        { تعليمات } ]
   
نهاية_إذا

التكرار المشروط

    مادام ع [ : ]
        { تعليمات }
   
نهاية_مادام

التكرار المعدود

    لكل V := ع1، ع2 [،ع3]
        { تعليمات }
   
نهاية_لكل                

ع3، إذا كان موجودا، يدل على الخطوة.

لغة Z مجهزة بعمليات متطورة
لغة Z تعترف وحدات العودية
لغة Z توفر بعض الوظائف المعتادة: Mod, Max, Min,...
لغة Z تسمح أنواع مركبة مثل كومة من صفوف من أقوام من ...