On Algebraic and Topological Aspects of ILF-Automata.

This work is toward the study of theory of IF-automata based on residuated lattices (ILF-automaton) and to use ILF-topological concepts for study of algebraic concepts therein. We introduce the notion of ILF-subsystems and strong ILF-subsystems of an ILF-automaton and show that these are precisely the ILF-closed sets with respect to the ILF-topologies introduced on state-set of an ILF-automaton. Finally, we study the characterization of separated ILF-subsystem for an ILF-automaton. [ABSTRACT FROM AUTHOR]