作者：郭建 边明明 韩俊岗模型检验buchi自动机选择buchi自动机ltl公式
摘要：在LTL公式和自动机理论的基础上，给出了一种从LTL公式到自动机的转换算法。该算法先简化LTL公式，然后再对简化的LTL公式转换，形成选择Buchi自动机。此算法与其他算法相比，具有可扩展性的优点，可以在此基础上形成属性描述语言PSL向自动机的转换。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机科学》（CN：50-1075/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机科学》报导国内外计算机科学与技术的发展动态，以其新颖、准确、及时为特色，突出动态性、综述性、学术性，“前沿学科”与“基础研究”相结合；“优秀技术”与“支撑技术”相结合；“倡导”与“争鸣”相结合。
省级期刊
人气 752443 评论 72
人气 483453 评论 71
人气 461664 评论 66
部级期刊
人气 441767 评论 69
