基于分明量子逻辑的量子有限自动机

基于分明量子逻辑的量子有限自动机（sharp quantum logic based quantum finite automata），计算机科学技术名词，由应明生于2000年开创。其中以伯克霍夫（Birkhoff）和冯·诺依曼（von Neumann）的量子逻辑取代布尔逻辑，取值于正交模格上。研究表明该类自动机与经典有限自动机的区别主要来自于正交模格的分配律不一定成立。