%0 Journal Article
%T Topological Characterizations of Automata Theory Based on Quantum Logic<br>基于量子逻辑的自动机理论的拓扑性质
%A GUO Xiu-Hong
%A <br>郭秀红
%J 软件学报
%D 2007
%I 
%X In this paper, some topological characterizations of automata theory based on quantum logic (abbr. l-valued automata theory) are discussed. First, l-valued successor and source operators are redefined and the equivalences of l-valued successor operators, source operators and l-valued subautomata are demonstrated. Afterwards, some topological characterizations in terms of the l-valued successor. source operators and l-valued subautomata are described, and then some fundamental properties of l-valued successor operators, source operators and l-valued subautomata are characterized. Particularly, when the multiplication (&) is distributive over the union in the truth-value lattices, some of the special properties of l-valued successor operators, source operators and l-valued subautomata are verified. So a weaker limitation to form a topology is obtained. Finally, it is shown that the l-valued topologies in terms of the l-valued successor, source operators and l-valued subautomata are equivalent.
%K quantum logic
%K automata
%K successor operator
%K source operator
%K subautomata
%K topology<br>量子逻辑
%K 自动机
%K successor算子
%K source算子
%K 子自动机
%K 拓扑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=0C0FD22AD6ECE5A1&yid=A732AF04DDA03BB3&vid=13553B2D12F347E8&iid=B31275AF3241DB2D&sid=7CF64E95CEC38520&eid=F7C51083F4D893E5&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=16