2015年1月15日
采用 PAT工具及CSP语言，对一个问题进行自动机 建模
摘要： pat是新加坡国立开发的工具，需要的去官网下http://www.comp.nus.edu.sg/~pat/，学了一天，是个不错的自动机验证工具，感觉还不错啊。验证一个数是否为斐波那契数且为质数方法先验证是否为斐波那契数，然后再判断质数代码/*验证是否为 斐波那契数且是质数*/#define go... 阅读全文
posted @ 2015-01-15 02:52 juandx 阅读(2113) 评论(2) 推荐(0) 编辑