JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE) ›› 2021, Vol. 56 ›› Issue (3): 37-43.doi: 10.6040/j.issn.1671-9352.0.2020.360

•   • Previous Articles     Next Articles

ε-language approximation of nondeterministic fuzzy finite automata

Hai-hui WANG(),Lu-yao ZHAO,Ping LI*()   

  1. School of Mathematics and Information Science, Shaanxi Normal University, Xi'an 710119, Shaanxi, China
  • Received:2020-07-13 Online:2021-03-20 Published:2021-03-16
  • Contact: Ping LI E-mail:wanghaihui@snnu.edu.cn;liping@snnu.edu.cn

RichHTML

33

PDF (PC)

320

Abstract:

We have introduced the concept of nondeterministic fuzzy finite automata under max-* compositional inference for some t-norm *. In order to compare the behaviors of nondeterministic fuzzy finite automata, two ε-language approximations are given using some real number ε in [0, 1]. Then we discuss the relationship of two ε-language approximations, and prove that nondeterministic fuzzy finite automata and fuzzy finite automata are 0-language approximated, that is to say they can accept same fuzzy language. In addition, some algebraic properties of two ε-language approximations are studied. In particular, we obtain that properties of them under union operation, *operation, and concatenation operation. Finally, the robustness of ε-language approximations is analyzed.

Key words: fuzzy finite automata, nondeterministic fuzzy finite automata, language approximation, robustness

CLC Number: 

  • TP301.1

Fig.1

Two NFFA*s"

1 CAO Yongzhi , YING Mingsheng . Supervisory control of fuzzy discrete event systems[J]. IEEE Transactions on Systems, Man and Cybernetics Part B, 2005, 35 (2): 366- 371.
doi: 10.1109/TSMCB.2004.842252
2 DENG Weilin , QIU Daowen . Supervisory control of fuzzy discrete-event systems for simulation equivalence[J]. IEEE Transactions on Fuzzy Systems, 2015, 23 (1): 178- 192.
doi: 10.1109/TFUZZ.2014.2310466
3 LIN Feng , YING Hao . Modeling and control of fuzzy discrete event systems[J]. IEEE Transactions on Systems, Man and Cybernetics Part B, 2002, 32 (4): 408- 415.
doi: 10.1109/TSMCB.2002.1018761
4 WU Hengyang , DENG Yuxin . Logical characterizations of simulation and bisimulation for fuzzy transition systems[J]. Fuzzy Sets and Systems, 2016, 301 (15): 19- 36.
5 王国俊. 非经典数理逻辑与近似推理[M]. 北京: 科学出版社, 2008: 163- 166.
WANG Guojun . Non-classical mathematical logic and approximate reasoning[M]. Beijing: Science Press, 2008: 163- 166.
6 李永明, 李平. 模糊计算理论[M]. 北京: 科学出版社, 2016: 151- 175.
LI Yongming , LI Ping . Fuzzy computing theory[M]. Beijing: Science Press, 2016: 151- 175.
7 HOPCROFT J E , ULLMAN J D . Introduction to automata theory, languages and computation[M]. New York: Addison-Wesley, 1979.
8 蒋宗礼, 姜守旭. 形式语言与自动机理论[M]. 北京: 清华大学出版社, 2013.
JIANG Zongli , JIANG Shouxu . Formal languages and automata[M]. Beijing: Tsinghua University Press, 2013.
9 MICHAEL S . Introduction to the theory of computation[M]. Boston: Cengage Learning, 2012.
10 WEE W G . On generalizations of adaptive algorithms and application of the fuzzy sets concept to pattern classification[M]. West Lafayette: Purdue University, 1967.
11 LI Ping , LI Yongming . Algebraic properties of LA-languages[J]. Information Sciences, 2006, 176 (21): 3232- 3255.
doi: 10.1016/j.ins.2005.10.003
12 LI Yongming , PEDRYCZ W . Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids[J]. Fuzzy Sets and Systems, 2005, 156 (1): 68- 92.
doi: 10.1016/j.fss.2005.04.004
13 彭家寅. 基于完备剩余格值逻辑的自动机与文法理论[J]. 模式识别与人工智能, 2011, 24 (5): 610- 618.
doi: 10.3969/j.issn.1003-6059.2011.05.003
PENG Jiayin . Automata and grammars theory based on complete residuated lattice-valued logic[J]. Pattern Recognition and Artificial Intelligence, 2011, 24 (5): 610- 618.
doi: 10.3969/j.issn.1003-6059.2011.05.003
14 QIU Daowen . Automata theory based on completed residuated lattice-valued logic(I)[J]. Science in China (Series F: Information Sciences), 2001, 44 (6): 419- 429.
15 QIU Daowen . Automata theory based on completed residuated lattice-valued logic(Ⅱ)[J]. Science in China (Series F: Information Sciences), 2002, 45 (6): 442- 452.
16 YING Mingsheng . A theory of computation based on quantum logic(I)[J]. Theoretical Computer Science, 2005, 344, 134- 207.
doi: 10.1016/j.tcs.2005.04.001
17 CAO Yongzhi , EZAWA Y . Nondeterministic fuzzy automata[J]. Information Sciences, 2012, 191, 86- 97.
doi: 10.1016/j.ins.2011.12.024
18 CAO Yongzhi , SUN Sherry X , WANG Huaiqing , et al. A behavioral distance for fuzzy-transition systems[J]. IEEE Transactions on Fuzzy Systems, 2013, 21 (4): 735- 747.
doi: 10.1109/TFUZZ.2012.2230177
19 PAN Haiyu , LI Yongming , CAO Yongzhi , et al. Nondeterministic fuzzy automata with membership values in complete residuated lattices[J]. International Journal of Approximate Reasoning, 2017, 82, 22- 38.
doi: 10.1016/j.ijar.2016.11.020
20 LI Yongming . Approximation and robustness of fuzzy finite automata[J]. International Journal of Approximate Reasoning, 2008, 47 (2): 247- 257.
doi: 10.1016/j.ijar.2007.05.004
21 WANG Yongbing , LI Yongming . Approximation of fuzzy context-free grammars[J]. Information Sciences, 2009, 179 (22): 3920- 3929.
doi: 10.1016/j.ins.2009.06.028
22 HÁJEK P . Metamathematics of fuzzy logic[M]. Dordrecht: Kluwer Academic Publisher, 1998.
23 KLEMENT E P , PAP E . Triangular norms[M]. Dordrecht: Kluwer Academic Publisher, 2000: 363- 369.
24 LI Yongming , LI Dechao , PEDRYCZ W , et al. An approach to measure the robustness of fuzzy reasoning[J]. International Journal of Intelligent Systems, 2005, 20 (4): 393- 413.
doi: 10.1002/int.20072
25 BERNSTEIN E , VAZIRANI U . Quantum complexity theory[J]. SIAM Journal of Computing, 1997, 26 (5): 1411- 1473.
doi: 10.1137/S0097539796300921
26 PAN Haiyu , CAO Yongzhi , ZHANG Min , et al. Simulation for lattice-valued doubly labeled transition systems[J]. International Journal of Approximate Reasoning, 2014, 55 (3): 797- 811.
doi: 10.1016/j.ijar.2013.11.009
[1] WANG Xiao-xia, CAO Huai-xin, ZHA Liao. The influences of quantum channels on the generalized robustness of entanglement [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2016, 51(11): 127-134.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
[1] LIU Tian-bao,LI Zong-bao,PENG yan-fen, . Relationships between the anesthetic activities for Arenicola larva and the structures of organic molecules[J]. J4, 2006, 41(6): 129 -131 .
[2] WU Peng-fei,MENG Xiang-zeng,LIU Jun-xiao,MA Feng-juan . Structure and content-based extraction of topical information from Web pages[J]. J4, 2006, 41(3): 131 -134 .
[3] QI Ying-hua,QI Ai-qin . Periodic boundary value problems for differential equations with arguments[J]. J4, 2007, 42(7): 66 -71 .
[4] WU Hong-bo,QIAO Xi-min, . The ∑Γ－fuzzy truth degree of formula relative to the finite theory in propositional logic system Ln[J]. J4, 2008, 43(6): 1 -8 .
[5] SUI Yunyun. The distribution of propositional truth degree in 5valued logic systems
associated with a nonlinear ordering true value set
[J]. J4, 2009, 44(1): 78 -82 .
[6] ZHANG Wei, FU Yan-ling. New perturbation results and characterization on approximately dual g-frames in hilbert spaces[J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2016, 51(6): 49 -56 .
[7] BI Xiao-dong . A constructing method for completely regular semigroup[J]. J4, 2007, 42(1): 40 -43 .
[8] XU Tu-lan . A.D.I. Galerkin method for a nonlinear hyperbolic differential system[J]. J4, 2006, 41(4): 20 -24 .
[9] ZHANG Rui, HOU Xu-guang*, GUO Zhan-sheng, ZHENG Hai, SHI Chao. Comparative analysis on isozymes between Haliotis discus hannai, Haliotis iris and their F1 hybrids[J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2014, 49(03): 6 -11 .
[10] YAN Wei-rong, HONG Yu, ZHU Shan-shan, CHE Ting-ting, YAO Jian-min, ZHU Qiao-ming. Method of implicit discourse relation detection based on semantics scenario[J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2014, 49(11): 59 -67 .
Copyright 2018 © Editorial office of JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE)
Supported by Beijing Magtech Co.Ltd