Formal power series and regular operations on fuzzy languages

被引:27
作者
Ignjatovic, Jelena [1 ]
Ciric, Miroslav [1 ]
机构
[1] Univ Nis, Fac Sci & Math, Nish 18000, Serbia
关键词
Language; Fuzzy language; Regular operations; Formal power series; Polynomial; Quantale; Fuzzy automaton; Deterministic automaton; Derivative automaton; LATTICE-VALUED LOGIC; MEMBERSHIP VALUES; FINITE AUTOMATA; PUMPING LEMMA; RECOGNIZABILITY;
D O I
10.1016/j.ins.2009.11.030
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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. (C) 2009 Elsevier Inc. All rights reserved.
引用
收藏
页码:1104 / 1120
页数:17
相关论文
共 26 条
[1]   Algebraic aspects of families of fuzzy languages [J].
Asveld, PRJ .
THEORETICAL COMPUTER SCIENCE, 2003, 293 (02) :417-445
[2]   Determinism and fuzzy automata [J].
Belohlávek, R .
INFORMATION SCIENCES, 2002, 143 (1-4) :205-209
[3]  
Belohlavek R., 2002, FUZZY RELATIONAL SYS
[4]  
Berstel J., 1988, EATCS Monographs on Theoretical Computer Science, V12
[5]   On the recognizability of fuzzy languages II [J].
Bozapalidis, Symeon ;
Louscou-Bozapalidou, Olympia .
FUZZY SETS AND SYSTEMS, 2008, 159 (01) :107-113
[6]   On the recognizability of Fuzzy languages I [J].
Bozapalidis, Symeon ;
Louscou-Bozapalidou, Olympia .
FUZZY SETS AND SYSTEMS, 2006, 157 (17) :2394-2402
[7]  
Ciric M, 2007, LECT NOTES COMPUT SC, V4639, P213
[8]   Fuzzy relation equations and reduction of fuzzy automata [J].
Ciric, Miroslav ;
Stamenkovic, Aleksandar ;
Ignjatovic, Jelena ;
Petkovic, Tatjana .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2010, 76 (07) :609-633
[9]   Weighted automata and weighted logics [J].
Droste, Manfred ;
Gastin, Paul .
THEORETICAL COMPUTER SCIENCE, 2007, 380 (1-2) :69-86
[10]   Determinization of fuzzy automata with membership values in complete residuated lattices [J].
Ignjatovic, Jelena ;
Ciric, Miroslav ;
Bogdanovic, Stojan .
INFORMATION SCIENCES, 2008, 178 (01) :164-180