Nondeterministic Finite Automata Based on Quantum Logic: Language Equivalence Relation and Robustness.
Haihui Wang,Luyao Zhao,Ping Li
DOI: https://doi.org/10.1016/j.ijar.2020.11.002
IF: 4.452
2020-01-01
International Journal of Approximate Reasoning
Abstract:Automata theory based on quantum logic has been established by Ying. Nondeterministic fuzzy finite automata theory has been proposed by Cao, and further generalized by Pan et al. In this paper, we propose the notion of nondeterministic finite automaton based on quantum logic whose underlying structure is a complete orthomodular lattice l, called nondeterministic l-valued finite automaton (Nl-FA, for short). We show that nondeterministic l-valued finite automata, deterministic l-valued finite automata, and nondeterministic l-valued finite automata with ε-moves are equivalent if and only if l satisfies the distributive law. Next, two l-valued relations in terms of language equivalence are given. Some properties of the two l-valued relations under various operations such as reversal, union, product, and concatenation, are investigated. Finally, we give the degree of the closeness between two Nl-FAs with the same set of states to reflect the robustness, and obtain some interesting results. The theory developed in this paper enriches the automata theory based on quantum logic.