Protsedura ha'm funksiya

begin
S:=A[1];
for i:=2 to n do if A[i] > S then S:= A[i]
end.
Bul protsedurag'a tiykarg'i programmada murajaat max1(x,u); max1(y,v); ko‘rinisinde amelge asiriladi.
Protseduradag'i A vektordi parametr - manis sipatinda jazip qo‘yg'animiz ushin, protsedurag'a qilinip atirg'an har bir murajaatda A vektorg'a mas rawishde X ha'm Y vektorlari ko‘shirip jaziladi ha'm so‘n' protsedura o‘z ishinde orinlaydi. Biz bilgenimizdey, bir tarepten, massivlerdin' ustinde ko‘shirip amelidi orinlawg'a biraz waqit ketedi, ekinshi tarepden, har dayim jan'idan protsedurag'a qiling'an murajaatta A vektor ushin yadtan qo‘simsha jay ajratiladi. Sonin' ushin, protseduranin' qatarinda tomendegishe almastiriw qilip korsek, joqaridag'i eki kemshilikdi aldin alg'an bo‘lamiz:
procedure max1 (var A: vector; var S: real);
Endi protsedurani dag'aza qiliw, ondan paydalanip programma jaratiw tajriybesin payda etgenimizden so‘n', oni dag'aza qiliwdin' sintaksis qag'iydalarin ko‘rip shig'amiz.
Protsedurani aniqlaw (dag'azalaw) tomendegishe amelge asiriladi:

::=
;
Bul jerde tusinigi putinliginshe
tusinigi menen birdey sintaksis qog'ida tiykarinda aniqlang'ani ushin, bul tusinikke artiq qaytip o‘tirmaymiz.
Endi bolsa
na ta’riypleymiz:

::=Procedure
Procedure
()
Protsedura ati programmis tarepinen saylang'ab apuwayi identifikator esaplanadi.
Formal parametrler dizimi tomendegidey aniqlanadi:
::= {; }
Formal parametrler seksiyasi degende protsedura parametrlarinin' parametr-manis ha'm parametr-o‘zgeriwshi lerden ibarat bo‘liwi tusiniledi:
::={ {, }: ½ var {,}:
bul jerde - formal parametrler sipatinda isletiletug'in identifikator.
Endi joqaridag'i aniqlawlarg'a tusinikler berib o‘temiz.
Joqaridag'i Bekus-Naur formulalarinan ko‘rinip turg'aninday, formal parametrler dizimi (eger ol bar bo‘lsa) bir yamasa bir neshe o‘zaro noqat-utir (;) belgisi menen ajratilg'an seksiyalardan quralg'an. Har bir seksiyada o‘z nawbetinde, bir yamasa bir neshe o‘zaro noqat-utir menen ajratilg'an formal parametrler qatnasiwi mumkin. Protseduradagi formal parametrler sanin programmistin' o‘zi protsedurani aniqlaw qasiyetinen kelib shiqqan jag'daydi tanlaydi.