Axborot xavfsizligi fakulteti

function tg (x:real);

function arcSin (x:real):real;

function arcCos (x:real);

function arcTg (x:real):real;

{boshqa matematik funksiyalarni bo’lishi mumkin bo’lgan spetsifikatsiyasi}

Inplementation

{spetsifikatsiya qilingan funksiyalar yozilishi}

end.

Modul bilan eksportlanadigan Spetsifirlangan funksiyalar yozilishidan tashqari, realizatsiya bo’limi, bir yoki bir qancha spetsifirlangan funksiyalar realizatsiyasi uchun kerakli bo’lgan ba’zi lokal yordamchi funksiyalar yozilishidan ham tashkil topishi mumkin. Masalan, polinom va massiv belgisini hisoblash funksiyalari, turli spetsifirlangan funksiyalar uchun polinom koeffisentlari belgisi. Albatta, barcha bunday lokal obyektlar eksportlanmaydi, va ularning qo’llanilishi modul tashqarisida mumkin emas.

3. modul real kompyuterga nisbatan qo’shimcha funksiyalarni bajaruvchi, virtual kompyuter yaratish uchun qo’llanilishi mumkin. amallar to’plamini realizatsiya qiluvchi oldingi punktdagi modulni til mashinasini rivoji deb hisoblash mumkin. lekin ba’zi hollarda spetsializatsiyalangan jarayonni—va uni amallarini, va uni registrlarini to’liq imitatsiyasiga ega bo’lish kerak. ratsional sonlar ustida amallarni realizatsiya qiluvchi virtual kompyuterni misol qilib ko’ramiz.