Formal power series and regular operations on fuzzy languages

Information Sciences

Volumn 180, Issue 7, 2010, Pages 1104-1120

  Ignjatović, Jelena ^a   Ćirić, Miroslav ^a  

^a UNIVERSITY OF NI   (Serbia)

Author keywords

Derivative automaton; Deterministic automaton; Formal power series; Fuzzy automaton; Fuzzy language; Language; Polynomial; Quantale; Regular operations

Indexed keywords

DETERMINISTIC AUTOMATA; FORMAL POWER SERIES; FUZZY AUTOMATON; FUZZY LANGUAGE; QUANTALE; QUANTALES; REGULAR OPERATIONS;

FORMAL LANGUAGES; FUZZY SYSTEMS; LINGUISTICS; POLYNOMIALS; QUERY LANGUAGES; ROBOTS; TRANSLATION (LANGUAGES);

AUTOMATA THEORY;

EID: 73849083433     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2009.11.030     Document Type: Article

References (27)

1. Asveld P.R.J. Algebraic aspects of families of fuzzy languages. Theoretical Computer Science 293 (2003) 417-445
2. Bělohlávek R. Fuzzy Relational Systems: Foundations and Principles (2002), Kluwer, New York
3. Bělohlávek R. Determinism and fuzzy automata. Information Sciences 143 (2002) 205-209
4. Berstel J., and Reutenauer Ch. Rational series their languages. EATCS Monographs in Theoretical Computer Science. vol. 12 (1988), Springer, Berlin
5. Bozapalidis S., and Louscou-Bozapalidou O. On the recognizability of fuzzy languages I. Fuzzy Sets and Systems 157 (2006) 2394-2402
6. Bozapalidis S., and Louscou-Bozapalidou O. On the recognizability of fuzzy languages II. Fuzzy Sets and Systems 159 (2008) 107-113
7. M. Ćirić, A. Stamenković, J. Ignjatović, T. Petković, Factorization of fuzzy automata, in: E. Csuhaj-Varju, Z. Ésik (Eds.), FCT 2007, Lecture Notes in Computer Science 4639 (2007) 213-225.
8. Ćirić M., Stamenković A., Ignjatović J., and Petković T. Fuzzy relation equations and reduction of fuzzy automata. Journal of Computer and System Sciences (2009) 10.1016/j.jcss.2009.10.015
9. Droste M., and Gastin P. Weighted automata and weighted logics. Theoretical Computer Science 380 (2007) 69-86
10. Ignjatović J., Ćirić M., and Bogdanović S. Determinization of fuzzy automata with membership values in complete residuated lattices. Information Sciences 178 (2008) 164-180
11. Ignjatović J., Ćirić M., Bogdanović S., and Petković T. Myhill-Nerode type theory for fuzzy languages and automata. Fuzzy Sets and Systems (2009) 10.1016/j.fss.2009.06.007
12. G. Klir, B. Yuan, Fuzzy Sets and Fuzzy Logic, Prentice-Hall PTR, p. 195.
13. Kuich W. Semirings and formal power series. In: Rozenberg G., and Salomaa A. (Eds). Handbook of Formal Languages vol. 1 (1999), Springer-Verlag, Berlin, Heidelberg 609-677
14. Li P., and Li Y.M. Algebraic properties of LA-languages. Information Sciences 176 (2006) 3232-3255
15. Li Y.M., and Pedrycz W. Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids. Fuzzy Sets and Systems 156 (2005) 68-92
16. Li Y.M., and Pedrycz W. The equivalence between fuzzy Mealy and fuzzy Moore machines. Soft Computing 10 (2006) 953-959
17. Li Y.M., and Pedrycz W. Minimization of lattice finite automata and its application to the decomposition of lattice languages. Fuzzy Sets and Systems 158 (2007) 1423-1436
18. Li Z.H., Li P., and Li Y.M. The relationships among several types of fuzzy automata. Information Sciences 176 (2006) 2208-2226
19. Malik D.S., Mordeson J.N., and Sen M.K. On fuzzy regular languages. Information Sciences 88 (1996) 263-273
20. Mordeson J.N., and Malik D.S. Fuzzy Automata and Languages: Theory and Applications (2002), Chapman and Hall/CRC, Boca Raton, London
21. Qiu D.W. Pumping lemma in automata theory based on complete residuated lattice-valued logic: A note. Fuzzy Sets and Systems 157 (2006) 2128-2138
22. Schützenberger M.P. On the definition of a family of automata. Information and Control 4 (1961) 245-270
23. Sheng L., and Li Y.M. Regular grammars with truth values in lattice-ordered monoid and their languages. Soft Computing 10 (2006) 79-86
24. Xing H.G., and Qiu D.W. Pumping lemma in context-free grammar theory based on complete residuated lattice-valued logic. Fuzzy Sets and Systems 160 (2009) 1141-1151
25. Xing H.G., and Qiu D.W. Automata theory based on complete residuated lattice-valued logic: A categorical approach. Fuzzy Sets and Systems 160 (2009) 2416-2428
26. Xing H.G., Qiu D.W., and Liu F.C. Automata theory based on complete residuated lattice-valued logic: Pushdown automata. Fuzzy Sets and Systems 160 (2009) 1125-1140
27. Xing H.G., Qiu D.W., Liu F.C., and Fan Z.J. Equivalence in automata theory based on complete residuated lattice-valued logic. Fuzzy Sets and Systems 158 (2007) 1407-1422