International Journal of Theoretical Physics

, Volume 39, Issue 4, pp 985–995

Automata Theory Based on Quantum Logic. (I)

  • Mingsheng Ying


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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

Personalised recommendations