选择Buchi自动机相关硕士博士期刊学术论文

在LTL公式和自动机理论的基础上，给出了一种从LTL公式到自动机的转换算法。该算法先简化LTL公式，然后再对简化的LTL公式转换，形成选择......