PL/0語言文法:

  <程序>        ::= <分程序>.
  <分程序>      ::= [<常量說明部分>][變量說明部分>][<過程說明部分>]<語句>
  <常量說明部分>::= CONST<常量定義>{,<常量定義>};
  <常量定義>    ::= <標識符>=<無符號整數>
  <無符號整數>  ::= <數字>{<數字>}
  <變量說明部分>::= VAR<標識符>{,<標識符>};
  <標識符>      ::= <字母>{<字母>|<數字>}
  <過程說明部分>::= <過程首部><分程序>{;<過程說明部分>};
  <過程首部>    ::= PROCEDURE<標識符>;
  <語句>        ::= <賦值語句>|<條件語句>|<當型循環語句>|<過程調用語句>|
                    <讀語句>|<寫語句>|<復合語句>|<重復語句>|<空>
  <賦值語句>    ::= <標識符>:=<表達式>
  <復合語句>    ::= BEGIN<語句>{;<語句>}END
  <條件>        ::= <表達式><關系運算符><表達式>|ODD<表達式>
  <表達式>      ::= [+|-]<項>{<加法運算符><項>}
  <項>          ::= <因子>{<乘法運算符><因子>}
  <因子>        ::= <標識符>|<無符號整數>|'('<表達式>')'
  <加法運算符>  ::= +|-
  <乘法運算符>  ::= *|/
  <關系運算符>  ::= =|#|<|<=|>|>=
  <條件語句>    ::= IF<條件>THEN<語句>[ELSE<語句>]
  <過程調用語句>::= CALL<標識符>
  <當型循環語句>::= WHILE<條件>DO<語句>
  <重復語句>    ::= REPEAT<語句>{;<語句>}UNTIL<條件>
  <讀語句>      ::= READ'('<標識符>{,<標識符>}')'
  <寫語句>      ::= WRITE'('<標識符>{,<標識符>}')'
  <字母>        ::= a|b|...|X|Y|Z
  <數字>        ::= 0|1|2|...|8|9