International Journal of Theoretical Physics

, Volume 39, Issue 4, pp 985–995

Automata Theory Based on Quantum Logic. (I)

  • Mingsheng Ying

DOI: 10.1023/A:1003642222321

Cite this article as:
Ying, M. International Journal of Theoretical Physics (2000) 39: 985. doi:10.1023/A:1003642222321


We present a basic framework of automata theory based on quantum logic. Inparticular, we introduce the orthomodular lattice-valued (quantum) predicate ofrecognizability and establish some of its fundamental properties.

Copyright information

© Plenum Publishing Corporation 2000

Authors and Affiliations

  • Mingsheng Ying
    • 1
  1. 1.State Key Laboratory of Intelligent Technology and Systems, Department of ComputerScience and TechnologyTsinghua UniversityBeijingChina