本节将用语法图和扩充的巴科斯-瑙尔范式（BACKUS-NAUR FORM）(EBNF)两种形式给出PL/0语言的语法描述。对类pcode代码给出指令的结构形式和含义。 　　巴科斯-瑙尔范式（BACKUS-NAUR FORM）是根据美国的John W.Backus与丹麦的Peter Naur命名的。