Mansoor Doostfatemeh - University of Guelph
Stefan C. Kremer - University of Guelph

Automata are the prime example of general computational systems over discrete spaces. Incorporation of fuzzy logic into automata theory led to the fuzzy automata, which have several useful properties including handling continuous spaces and uncertainty. The focus of this work is a detailed analysis of the output issue in fuzzy automata and its signi cance. We show how it can be handled using a Moore machine model in which outputs are associated with the states. Speci cally, we develop methodologies to assign membership values to output labels and resolve their multi-membrships,and show how a Fuzzy Moore Automaton (FMA) responds to input strings. This enables us to analyze continuous operation of FMA and also paves the way to develop algorithms to convert different models of fuzzy automata to each other.

Fuzzy automata, output mapping, fuzzy Moore automata, output membership assignment, output multi-membership resolution