stutter不变性相关论文
本文主要研究分划逻辑在线性序结构上的表达能力及其相关性质,主要创造性工作由以下两部分组成:(1) 将确定型自动机和分划逻辑各类型......
学位