A fuzzy topology associated with a fuzzy finite state machine · Study