Automata theory based on complete residuated lattice-valued logic

This paper establishes a fundamental framework of automata theory based on complete residuated lattice-valued logic. First it deals with how to extend the transition relation of states and particularly presents a characterization of residuated lattice by fuzzy automata (called ℓ valued automata). After that fuzzy subautomata (called ℓ valued subautomata), successor and source operators are proposed and their basic properties as well as the equivalent relation among them are discussed, from which it follows that the two fuzzy operators are exactly fuzzy closure operators. Finally anL bifuzzy topological characterization of ℓ valued automata is presented, so a more generalized fuzzy automata theory is built.