International Journal of Theoretical Physics

, Volume 39, Issue 11, pp 2545–2557

Automata Theory Based on Quantum Logic II

  • Mingsheng Ying

DOI: 10.1023/A:1026453524064

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


We establish the pumping lemma in automata theory based on quantum logicunder certain conditions on implication, and discuss the recognizability by theproduct and union of orthomodular lattice-valued (quantum) automata. Inparticular, we show that the equivalence between the recognizabilty by the productof automata and the conjunction of the recognizabilities by the factor automatais equivalent to the distributivity of meet over union in the truth-value set.

Copyright information

© Plenum Publishing Corporation 2000

Authors and Affiliations

  • Mingsheng Ying
    • 1
    • 2
  1. 1.Department of Computer ScienceState Key Laboratory of Intelligent Technology and Systemschina
  2. 2.Tsinghua UniversityBeijingChina