Skip to main content
SpringerLink
Log in

BL-general fuzzy automata and accept behavior

  • Published:
Journal of Applied Mathematics and Computing Aims and scope Submit manuscript

Abstract

In this note, we focus on behavior of BL-general fuzzy automata (for simplicity BL-GFA) and we obtain the free realization for a given behavior, that is, a BL-general fuzzy automaton whose behavior is given behavior. Then we find the realization with the minimum number of states. The minimization takes two steps: at first discard all superfluous states, and then we merge all pairs of states which have the same behavior. Moreover we prove some theorems. In particular, we show that the minimal reduction of the reachable part of an BL-GFA is the minimal realization of the behavior it. Finally we give some examples to clarify these notions.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abolpour, K., Zahedi, M.M., Golmohamadian, M.: Some hyper K-algebraic structures induced by max-min general fuzzy automata. Iran. J. Fuzzy Syst. 8(1) (2011)

  2. Abolpour, K., Zahedi, M.M.: Isomorphism between two BL-general fuzzy automata. Inf. Sci. J. (submitted)

  3. Adamek, J., Trnkova, V.: Automata and Algebras in Categories. Kluwer Academic, Dordrecht (1990)

    MATH  Google Scholar 

  4. Arbib, M.A.: From automata theory to brain theory. Int. J. Man-Mach. Stud. 7(3), 279–295 (1975)

    Article  MATH  MathSciNet  Google Scholar 

  5. Burks, A.W.: Logic, biology and automata—some historical reflections. Int. J. Man-Mach. Stud. 7(3), 297–312 (1975)

    Article  MATH  Google Scholar 

  6. Doostfatemeh, M., Kremer, S.C.: New directions in fuzzy automata. Int. J. Approx. Reason. 38, 175–214 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  7. Hajek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic, Dordrecht (1988)

    Google Scholar 

  8. Haveshki, M., Borumand Saeid, A., Eslami, E.: Some types of filters in BL algebras. Soft Comput. 10, 657–664 (2006)

    Article  MATH  Google Scholar 

  9. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation, 2nd edn. Addison–Wesley, Reading (2001)

    MATH  Google Scholar 

  10. Malik, D.S., Mordeson, J.N.: Fuzzy Discrete Structures. Physica-Verlag, New York (2000)

    MATH  Google Scholar 

  11. Minsky, M.L.: BL-general fuzzy automata and reachable realization. In: Computation: Finite and Infinite Machines, pp. 32–66. Prentice-Hall, Englewood Cliffs (1967), Chap. 3

    Google Scholar 

  12. Mordeson, J.N., Malik, D.S.: Fuzzy Automata and Languages, Theory and Applications. Chapman and Hall/CRC, London/Boca Raton (2002)

    Book  MATH  Google Scholar 

  13. Turunen, E.: Boolean deductive systems of BL-algebras. Arch. Math. Log. 40, 467–473 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  14. Zahedi, M.M., Horry, M., Abolpour, K.: Bifuzzy (general) topology on max-min general fuzzy automata. Adv. Fuzzy Math. 3(1), 51–68 (2008)

    Google Scholar 

  15. Omlin, W., Giles, C.L., Thornber, K.K.: Equivalence in knowledge representation: automata, RNNS, and dynamical fuzzy systems. Proc. IEEE 87(9), 1623–1640 (1999)

    Article  Google Scholar 

  16. Omlin, W., Thornber, K.K., Giles, C.L.: Fuzzy finite-set automata can be deterministically encoded into recurrent neural networks. IEEE Trans. Fuzzy Syst. 5(1), 76–89 (1998)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Math., Islamic Azad University, Kerman Branch, Kerman, Iran

    K. Abolpour

  2. Dept. of Math., Tarbiat Modares University, Tehran, Iran

    M. M. Zahedi

Authors
  1. K. Abolpour
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. M. Zahedi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to K. Abolpour.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Abolpour, K., Zahedi, M.M. BL-general fuzzy automata and accept behavior. J. Appl. Math. Comput. 38, 103–118 (2012). https://doi.org/10.1007/s12190-010-0466-8

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12190-010-0466-8

Keywords

Mathematics Subject Classification (2000)

Search

Navigation