巴科斯范式

α→β表示为α∷=β * 非 终结符用“<”和“>”括起来 * 终结符：基本符号集 * 其余 β(α1|α2…|αn)≡βα1|βα2…|βαn {α1|α2…|αn} ul {α1|α2…|αn}m l=0,u=m [α] ≡ α| ε …… 在 双引号中的字("word")表明着这些 字符自己。而double_quote用来表明双引号。 在双引号外的字（有可能有下划线）表明着语法部分。 尖括号

>>阅读原文<<