Brzozowski type determinization for fuzzy automata

Abstract In this paper we adapt the well-known Brzozowski determinization method to fuzzy automata. This method gives better results than all previously known methods for determinization of fuzzy automata developed by Bělohlavek [4] , Li and Pedrycz [20] , Ignjatovic et al. [15] , and Jancic et al. [18] . Namely, as in the case of ordinary nondeterministic automata, Brzozowski type determinization of a fuzzy automaton results in a minimal crisp-deterministic fuzzy automaton equivalent to the starting fuzzy automaton, and we show that there are cases when all previous methods result in infinite automata, while Brzozowski type determinization results in a finite one. The paper deals with fuzzy automata over complete residuated lattices, but identical results can also be obtained in a more general context, for fuzzy automata over lattice-ordered monoids, and even for weighted automata over commutative semirings.

[1]  Witold Pedrycz,et al.  Minimization of lattice finite automata and its application to the decomposition of lattice languages , 2007, Fuzzy Sets Syst..

[2]  Symeon Bozapalidis,et al.  Fuzzy tree language recognizability , 2010, Fuzzy Sets Syst..

[3]  James A. Anderson.  Automata theory with modern applications , 2006 .

[4]  R. Belohlávek.  Fuzzy Relational Systems: Foundations and Principles , 2002 .

[5]  W. Wechler.  The concept of fuzziness in automata and language theory , 1978 .

[6]  Manfred Droste,et al.  Determinization of weighted finite automata over strong bimonoids , 2010, Inf. Sci..

[7]  Radim Belohlávek,et al.  On Approximate Minimization of Fuzzy Automata , 2009, J. Multiple Valued Log. Soft Comput..

[8]  Miroslav Ciric,et al.  Determinization of fuzzy automata with membership values in complete residuated lattices , 2008, Inf. Sci..

[9]  Radim Belohlávek,et al.  Determinism and fuzzy automata , 2002, Inf. Sci..

[10]  Nelma Moreira,et al.  Finite Automata Minimization , 2012, Handbook of Finite State Based Models and Applications.

[11]  Jacques Sakarovitch,et al.  Elements of Automata Theory , 2009 .

[12]  Hongyan Xing,et al.  Automata theory based on complete residuated lattice-valued logic: Pushdown automata , 2009, Fuzzy Sets Syst..

[13]  Miroslav Ciric,et al.  Formal power series and regular operations on fuzzy languages , 2010, Inf. Sci..

[14]  Zorana Jancic,et al.  An improved algorithm for determinization of weighted and fuzzy automata , 2011, Inf. Sci..

[15]  Eugene S. Santos.  Fuzzy automata and languages , 1976, Information Sciences.

[16]  Lihua Wu,et al.  Automata theory based on complete residuated lattice-valued logic: Reduction and minimization , 2010, Fuzzy Sets Syst..

[17]  Symeon Bozapalidis,et al.  On the recognizability of fuzzy languages II , 2008, Fuzzy Sets Syst..

[18]  Moshe Y. Vardi,et al.  Experimental Evaluation of Classical Automata Constructions , 2005, LPAR.

[19]  J. Brzozowski.  Canonical regular expressions and minimal state graphs for definite events , 1962 .

[20]  Costas S. Iliopoulos,et al.  Proceedings of the Prague Stringology Conference '03 , 2003 .

[21]  Miroslav Ciric,et al.  Reduction of fuzzy automata by means of fuzzy quasi-orders , 2011, Inf. Sci..

[22]  Miroslav Ciric,et al.  Myhill-Nerode type theory for fuzzy languages and automata , 2010, Fuzzy Sets Syst..

[23]  Witold Pedrycz,et al.  Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids , 2005, Fuzzy Sets Syst..

[24]  Miroslav Ciric,et al.  Fuzzy homomorphisms of algebras , 2009, Fuzzy Sets Syst..

[25]  Ahmed Khorsi,et al.  Split and join for minimizing: Brzozowski's algorithm , 2002, Stringology.

[26]  Daowen Qiu,et al.  Pumping lemma in automata theory based on complete residuated lattice-valued logic: A note , 2006, Fuzzy Sets Syst..

[27]  Tatjana Petkovic,et al.  Fuzzy relation equations and reduction of fuzzy automata , 2010, J. Comput. Syst. Sci..

[28]  Qiu Daowen,et al.  Automata theory based on complete residuated lattice-valued logic , 2001 .

[29]  Radim Belohlávek.  Fuzzy equational logic , 2002, Arch. Math. Log..