Different Operators in Automata Theory Based on Residuated and Co-Residuated Lattices
Priyanka Pal, S. P. Tiwari, Renu Verma · New Mathematics and Natural Computation · 2018
This paper is towards the algebraic and topological study of automata based on residuated and co-residuated lattices via different operators. The interrelationships among the operators are discussed. Interestingly, we show that the algebraic concepts of an automaton based on a residuated and co-residuated lattice can be expressed in terms of [Formula: see text]-topology/co-topology induced by operators. Finally, a composition of such automata is introduced and its categorical significance is discussed.