Var a,b,c: Real; D: Real

end.
Bu protseduraga asosiy dasturda murojaat max1(x,u); max1(y,v); ko‘rinishida amalga oshiriladi.
Protseduradagi A vektorini parametr - qiymat sifatida yozib qo‘yganimiz uchun, protseduraga qilinayotgan har bir murojaatda A vektorga mos ravishda X va Y vektorlari ko‘chirib yoziladi va so‘ng protsedura o‘z ishini bajaradi. Biz bilamizki, bir tarafdan, massivlarning ustida ko‘chirish amalini bajarishga ancha vaqt ketadi, ikkinchi tarafdan, har safar yangidan protseduraga qilingan murojaatda A vektor uchun xotiradan qo‘shimcha joy ajratiladi. Shuning uchun, protseduraning sarlavhasida quyidagicha almashtirish qilsak, yuqoridagi ikki kamchilikni bartaraf qilgan bo‘lamiz:
procedure max1 (var A: vector; var S: real);
Endi protsedurani e’lon qilish, undan foydalanib dastur yaratish malakasini hosil qilganimizdan so‘ng, uni e’lon qilishning sintaksis qoidalarini ko‘rib chiqaylik.
Protsedurani aniqlash (e’lon qilish) quyidagicha amalga oshiriladi:

::
;
Bu yerda tushunchasi to‘liqligicha tushunchasi bilan bir xil sintaksis qoida asosida aniqlangani uchun, bu tushunchaga ortiq qaytib o‘tirmaymiz.
Endi esa
ga ta’rif beramiz:

::=Procedure
Procedure
()
Protsedura ismi dasturchi tomonidan tanlanadigan oddiy identifikator hisoblanadi.
Formal parametrlar ro‘yxati quyidagicha aniqlanadi:
::= {; }
Formal parametrlar seksiyasi deganda protsedura parametrlarining parametr-qiymat va parametr-o‘zgaruvchi lardan iborat bo‘lishligi tushuniladi:
::={ {, }: var {,}:
bu yerda - formal parametrlar sifatida ishlatiladigan identifikator.
Endi yuqoridagi aniqlashlarga tushuntirishlar berib o‘tsak.
Yuqoridagi Bekus-Naur formulalaridan ko‘rinib turibdiki, formal parametrlar ro‘yxati (agar u mavjud bo‘lsa) bitta yoki bir nechta o‘zaro nuqta-vergul (;) belgisi bilan ajratilgan seksiyalardan tashkil topgan. Har bir seksiyada esa o‘z navbatida, bitta yoki bir nechta o‘zaro nuqta-vergul bilan ajratilgan formal parametrlar qatnashishi mumkin. Protseduradagi formal parametrlar sonini, dasturchining o‘zi protsedurani aniqlash moxiyatidan kelib chiqqan holda tanlaydi.