Operators on lattice-valued automata

Abstract

The concepts of source core and successor core for residuated lattice valued finite state machine are introduced and their properties are studied. We found the relation between the genetic subset of lattice valued finite state machine and the source core. Using the implication of complete residuated lattice we introduced the fuzzy operators namely fuzzy initial core and fuzzy final core which are generalizations of source core and successor core respectively. Also we have done comparative study of these operators with the source and successor operators.