min_Pascal語言的語法用BNF描述如下（空語句用empty表示）：
<程序>			::=  <分程序>.
<分程序>		::=  [<變量說明部分>][<常量說明部分>] [<過程說明部分>]<語句>
<常量說明部分>	::=  const<常量定義>{,<常量定義>};
<常量定義>		::=  <標識符>=<無符號整數(shù)>
<無符號整數(shù)>	::=  <數(shù)字>{<數(shù)字>}
<標識符>		::=  <字母>{<字母>|<數(shù)字>}
<變量說明部分>	::=  var<標識符>{, <標識符>};
<過程說明部分>	::=  <過程首部><分程序>{;<過程說明部分>};
<過程首部>		::=  procedure<標識符>;
< 語句>			::=  <賦值語句>|<條件語句>|<當循環(huán)語句> |<過程調(diào)用語句>|<復合語句>|<讀語句>|<寫語句>|<空>
<賦值語句>		::=  <標識符> := <表達式>
<表達式>		::=   [+|-]<項>{<加法運算符><項>}
<項>			::=  <因子>{<乘法運算符><因子>}
<因子>			::=  <標識符>|<無符號整數(shù)>| ‘ ( ’ <表達式> ‘ ) ’
<加法運算符>	::=  +|-
<乘法運算符>	::=  *|/
<條件>			::=  <標識符><關(guān)系運算符><表達式>|odd<表達式>
<關(guān)系運算符>	::=   =|<>|<|<=|>|>=
<條件語句>		::=  if<條件>then<語句>
<當循環(huán)語句>	::=  do<語句> while<條件>
<過程調(diào)用語句>	::=  call<標識符>
<復合語句>		::=  begin<語句>{;<語句>}end
<讀語句>		::=  read ‘ ( ’<標識符>{, <標識符>} ‘ ) ’
<寫語句>		::=  write ‘ ( ’<表達式>{, <表達式>} ’ ) ’
<字母>			::=  a|b|c|d…..x|y|z
<數(shù)字>			::=  0|1|2|3…...8|9