Different Operators in Automata Theory Based on Residuated and Co-Residuated Lattices

摘要

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 L-topology/co-topology induced by operators. Finally, a composition of such automata is introduced and its categorical significance is discussed.