摘要

To handle fuzzy uncertainty in system modeling, nondeterministic finite automata have been generalized into fuzzy automata. After a reexamination of the notions of fuzzy automata in the literature, we ascertain that the fundamental property nondeterminism in nondeterministic finite automata has not been well embodied in the generalization. In order to reflect nondeterminism in fuzzy automata, we introduce nondeterministic fuzzy automata with or without epsilon-moves and fuzzy languages recognized by them. Like nondeterministic finite automata, nondeterministic fuzzy automata provide a mathematical representation of nondeterministic dynamic fuzzy systems. Moreover, we show that (deterministic) fuzzy automata, nondeterministic fuzzy automata, and nondeterministic fuzzy automata with epsilon-moves are all equivalent in the sense that they recognize the same class of fuzzy languages, which is an extension of the well-known equivalence among finite automata, nondeterministic finite automata, and nondeterministic finite automata with epsilon-moves.