PL/0語(yǔ)言文法:

  <程序>        ::= <分程序>.
  <分程序>      ::= [<常量說(shuō)明部分>][變量說(shuō)明部分>][<過(guò)程說(shuō)明部分>]<語(yǔ)句>
  <常量說(shuō)明部分>::= CONST<常量定義>{,<常量定義>};
  <常量定義>    ::= <標(biāo)識(shí)符>=<無(wú)符號(hào)整數(shù)>
  <無(wú)符號(hào)整數(shù)>  ::= <數(shù)字>{<數(shù)字>}
  <變量說(shuō)明部分>::= VAR<標(biāo)識(shí)符>{,<標(biāo)識(shí)符>};
  <標(biāo)識(shí)符>      ::= <字母>{<字母>|<數(shù)字>}
  <過(guò)程說(shuō)明部分>::= <過(guò)程首部><分程序>{;<過(guò)程說(shuō)明部分>};
  <過(guò)程首部>    ::= PROCEDURE<標(biāo)識(shí)符>;
  <語(yǔ)句>        ::= <賦值語(yǔ)句>|<條件語(yǔ)句>|<當(dāng)型循環(huán)語(yǔ)句>|<過(guò)程調(diào)用語(yǔ)句>|
                    <讀語(yǔ)句>|<寫(xiě)語(yǔ)句>|<復(fù)合語(yǔ)句>|<重復(fù)語(yǔ)句>|<空>
  <賦值語(yǔ)句>    ::= <標(biāo)識(shí)符>:=<表達(dá)式>
  <復(fù)合語(yǔ)句>    ::= BEGIN<語(yǔ)句>{;<語(yǔ)句>}END
  <條件>        ::= <表達(dá)式><關(guān)系運(yùn)算符><表達(dá)式>|ODD<表達(dá)式>
  <表達(dá)式>      ::= [+|-]<項(xiàng)>{<加法運(yùn)算符><項(xiàng)>}
  <項(xiàng)>          ::= <因子>{<乘法運(yùn)算符><因子>}
  <因子>        ::= <標(biāo)識(shí)符>|<無(wú)符號(hào)整數(shù)>|'('<表達(dá)式>')'
  <加法運(yùn)算符>  ::= +|-
  <乘法運(yùn)算符>  ::= *|/
  <關(guān)系運(yùn)算符>  ::= =|#|<|<=|>|>=
  <條件語(yǔ)句>    ::= IF<條件>THEN<語(yǔ)句>[ELSE<語(yǔ)句>]
  <過(guò)程調(diào)用語(yǔ)句>::= CALL<標(biāo)識(shí)符>
  <當(dāng)型循環(huán)語(yǔ)句>::= WHILE<條件>DO<語(yǔ)句>
  <重復(fù)語(yǔ)句>    ::= REPEAT<語(yǔ)句>{;<語(yǔ)句>}UNTIL<條件>
  <讀語(yǔ)句>      ::= READ'('<標(biāo)識(shí)符>{,<標(biāo)識(shí)符>}')'
  <寫(xiě)語(yǔ)句>      ::= WRITE'('<標(biāo)識(shí)符>{,<標(biāo)識(shí)符>}')'
  <字母>        ::= a|b|...|X|Y|Z
  <數(shù)字>        ::= 0|1|2|...|8|9