Formal power series and regular operations on fuzzy languages

In this paper we study formal power series over a quantale with coefficients in the algebra of all languages over a given alphabet, and representation of fuzzy languages by these formal power series. This representation generalizes the well-known representation of fuzzy languages by their cut and kernel languages. We show that regular operations on fuzzy languages can be represented by regular operations on power series which are defined by means of operations on ordinary languages. We use power series in study of fuzzy languages which are recognized by fuzzy finite automata and deterministic finite automata, and we study closure properties of the set of polynomials and the set of polynomials with regular coefficients under regular operations on power series.

[1]  Daowen Qiu,et al.  Equivalence in automata theory based on complete residuated lattice-valued logic , 2007, Fuzzy Sets Syst..

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

[3]  Marcel Paul Schützenberger,et al.  On the Definition of a Family of Automata , 1961, Inf. Control..

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

[5]  M. Droste,et al.  Semirings and Formal Power Series , 2009 .

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

[7]  J. Mordeson,et al.  Fuzzy Automata and Languages: Theory and Applications , 2002 .

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

[9]  John N. Mordeson,et al.  On Fuzzy Regular Languages , 1996, Inf. Sci..

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

[11]  Zhihui Li,et al.  The relationships among several types of fuzzy automata , 2006, Inf. Sci..

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

[13]  Hongyan Xing,et al.  Automata theory based on complete residuated lattice-valued logic , 2007, Science in China Series : Information Sciences.

[14]  Jean Berstel,et al.  Rational series and their languages , 1988, EATCS monographs on theoretical computer science.

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

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

[17]  Miroslav Ciric,et al.  Factorization of Fuzzy Automata , 2007, FCT.

[18]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.

[19]  Siegfried Gottwald,et al.  Fuzzy Sets and Fuzzy Logic , 1993 .

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

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

[22]  Witold Pedrycz,et al.  The equivalence between fuzzy Mealy and fuzzy Moore machines , 2006, Soft Comput..

[23]  Li Sheng,et al.  Regular grammars with truth values in lattice-ordered monoid and their languages , 2006, Soft Comput..

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

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

[26]  Hongyan Xing,et al.  Pumping lemma in context-free grammar theory based on complete residuated lattice-valued logic , 2009, Fuzzy Sets Syst..

[27]  Ping Li,et al.  Algebraic properties of LA-languages , 2006, Inf. Sci..

[28]  Peter R. J. Asveld,et al.  Algebraic aspects of families of fuzzy languages , 2001, Theor. Comput. Sci..