基于不分明量子逻辑的自动机理论

基于不分明量子逻辑的自动机理论（automata theory based on unsharp quantum logic），计算机科学技术名词，初始状态、终止状态，以及转移函数均为格序QMV（或其他不满足无矛盾律的量子代数模型）取值函数的量子自动机理论。