On Brzozowski’s algorithm, pumping lemma, and monoid representation for a typical hesitant fuzzy multiset language
摘要
In automata theory, Brzozowski’s algorithm is a powerful tool to construct a minimal deterministic finite automata corresponding to an automaton accepting the same language regardless of its deterministic or nondeterministic nature. This paper is towards the enrichment of the theory of crisp deterministic typical hesitant fuzzy multiset automata and typical hesitant fuzzy multiset languages and presents Brzozowski’s algorithm to construct a minimal crisp deterministic typical hesitant fuzzy multiset automaton for a given crisp deterministic typical hesitant fuzzy multiset automaton accepting a typical hesitant fuzzy multiset language. We have also presented the pumping lemma to verify regularness of a typical hesitant fuzzy multiset language. We have introduced the category THFMBM of typical hesitant fuzzy multiset bimonoids (thfmb-monoid) with their respective morphisms, and demonstrate the existence of a functor between the category THFMBM and the category THFML of typical hesitant fuzzy multiset languages and their morphisms. Finally, we discuss the minimal monoid representation of typical hesitant fuzzy multiset language and its properties.