...
机译:关于线性时间逻辑与量子有限自动机的关系
Department of Computer Science Thapar Institute of Engineering & Technology Patiala India;
Department of Computer Science Thapar Institute of Engineering & Technology Patiala India;
Quantum finite automata; Linear temporal logic; Measure-once one-way quantum finite automata; Latvian quantum finite automata; Measure-many one-way quantum finite automata;
机译:基于Quantum Logic的非季度有限自动机:语言等价关系和鲁棒性
机译:基于不清晰量子逻辑的计算理论:有限状态自动机和下推自动机
机译:有限时间逻辑相关的有限树自动机的一些变体
机译:使用交替关系的仿真关系从线性时间逻辑构造Buechi自动机
机译:线性时间逻辑到自动机的显式或符号转换
机译:量子点细胞自动机中可逆逻辑门的能量耗散数据集
机译:从线性时间逻辑使用仿真关系替代Büchi自动机构造Büchi自动机