摘要：
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_2.html1. BNF本系列使用BNF来说明Murphi的语法： 代表非终结点[] 代表可选部分{} 代表重复零次或者多次a|b 代表a或者b其一() 代表组当这些符号的任何一个在Murphi语言中需要用到的话，将会使用反斜杠（即\）进行转义。2. 词法规则下边这些是Murphi中的保留字： alias array assert begin boolean by ... 阅读全文
