积自动机相关论文
线性命题时态逻辑（LPTL）可定性地描述系统的时间特性，自动机可用于计算机系统的建模。LPTL与自动机之间有着紧密的联系。结合LPTL语义......
本文利用完备的正交模格的性 ，初步建立了量子自动机(正交模格值自动)的乘法理论，讨论了量子自动机的直积，级联积和圈积的定义及......
介绍了基于替换的组合电路的等价性检验算法，利用待检验的两个电路的结构相似性来逐步约简电路，从而加速了验证过程。......
