The main results are as follows： （1） it deals with a number of basic operations （concatenation, Kleene closure, homomorphism, complement）; （2） due to a condition imposed on the implication operator for discussi...The main results are as follows： （1） it deals with a number of basic operations （concatenation, Kleene closure, homomorphism, complement）; （2） due to a condition imposed on the implication operator for discussing some basic issues in orthomodular lattice-valued automata, this condition is investigated in detail, and it is discovered that all the relatively reasonable five implication operators in quantum logic do not satisfy this condition, and that one of the five implications satisfies such a condition iff the truth-value lattice is indeed a Boolean algebra; （3） it deals further with orthomodular lattice-valued successor and source operators; （4） an example is provided, implying that some negative results obtained in the literature may still hold in some typical orthomodular lattice-valued automata.展开更多
基金National Natural Science Foundation of China (Grant Nos. 90303024 and 60573006)the Research Foundation for the Doctorial Program of Higher School of Ministry of Education (Grant No. 20050558015)the Natural Science Foundation of Guangdong Province (Grant Nos. 020146 and 031541)
文摘The main results are as follows： （1） it deals with a number of basic operations （concatenation, Kleene closure, homomorphism, complement）; （2） due to a condition imposed on the implication operator for discussing some basic issues in orthomodular lattice-valued automata, this condition is investigated in detail, and it is discovered that all the relatively reasonable five implication operators in quantum logic do not satisfy this condition, and that one of the five implications satisfies such a condition iff the truth-value lattice is indeed a Boolean algebra; （3） it deals further with orthomodular lattice-valued successor and source operators; （4） an example is provided, implying that some negative results obtained in the literature may still hold in some typical orthomodular lattice-valued automata.
