Quotient structures of intuitionistic fuzzy finite state machines · Study