Skip to main content

Algebraic Characterization of IF-Automata

  • Conference paper
  • First Online:
Progress in Advanced Computing and Intelligent Engineering

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 714))

  • 803 Accesses

Abstract

In the present work, we have introduced the concept of layers of IF-automaton, provide the characterization of algebraic concepts of an IF-automaton from its layer point of view, and investigate relationship between IF-automata and upper semilattices. We also confer a decomposition of an IF-automaton and investigate a method of formation of an IF-automaton for a given finite poset. Interestingly, we have demonstrated that there exists an isomorphism between an upper semilattice and the poset of class of subautomata of an IF-automaton.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Atanassov, K.T., Intuitionistic fuzzy sets, Fuzzy Sets and Systems, 20, 87–96 (1986).

    Google Scholar 

  2. Atanassov, K.T., More on Intuitionistic fuzzy sets, Fuzzy Sets and Systems, 33, 37–45 (1989); Transition preserving functions of finite automata, Journal of Association for Computing Machinery, 15, 135–158 (1968).

    Google Scholar 

  3. Bavel, Z., Structure and transition preserving functions of finite automata, Journal of Association for Computing Machinery, 15, 135–158 (1968).

    Google Scholar 

  4. Chen, T.Y., Chou, C.C., Fuzzy automata with Atanassov’s intuitionstic fuzzy sets and their applications to product involvement, Journal of the Chinese Institute of Industrial Engineers, 26, 245–254 (2009).

    Google Scholar 

  5. Chen, T.Y., Wang, H.P., Wang, J.C., Fuzzy automata based on Atanassov fuzzy sets and applications on consumers, advertising involvement, African Journal of Business Management, 6, 865–880 (2012).

    Google Scholar 

  6. Deng, W.L., Qiu, D.W., Supervisory Control of Fuzzy Discrete Event Systems for Simulation Equivalence, IEEE Transactions on Fuzzy Systems, 23(1), 178–192 (2015).

    Google Scholar 

  7. Holcombe, W.M.L., Algebraic Automata Theory, Cambridge University Press, Cambridge, (1982).

    Google Scholar 

  8. Ito M., Duske, J., On cofinal and definite automata, Acta Cybernetica, 6, 181–189 (1983).

    Google Scholar 

  9. M. Ito, Algebraic structures of automata, Theoretical Computer Science, 429, 164–168 (2012).

    Google Scholar 

  10. Jin, J., Li, Q., Li, Y., Algebraic properties of \(L\)-fuzzy finite automata, Information Sciences, 234, 182–202 (2013).

    Google Scholar 

  11. Jun, Y.B., Intuitionistic fuzzy finite state machines, Journal of Applied Mathematics and Computing, 17, 109–120 (2005).

    Google Scholar 

  12. Jun, Y.B., Intuitionistic fuzzy finite switchboard state machines, Journal of Applied Mathematics and Computing, 20, 315–325 (2006).

    Google Scholar 

  13. Jun, Y.B., Quotient structures of intuitionistic fuzzy finite state machines, Information Sciences, 177, 4977–4986 (2007).

    Google Scholar 

  14. Kumbhojkar, H.V., Chaudhri, S.R., On proper fuzzification of fuzzy finite state machines, International Journal of Fuzzy Mathematics, 4, 1019–1027 (2008).

    Google Scholar 

  15. Malik, D.S., Mordeson, J.N., M.K. Sen, Submachines of fuzzy finite state machine, Journal of Fuzzy Mathematics, 2, 781–792 (1994).

    Google Scholar 

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

    Google Scholar 

  17. Qiu, D. W., Supervisory Control of Fuzzy Discrete Event Systems: A Formal Approach, IEEE Transactions on Systems, Man and Cybernetics-Part B, 35(1), 72–88 (2005).

    Google Scholar 

  18. D. W. Qiu, F.C. Liu, Fuzzy Discrete Event Systems under Fuzzy Observability and a Test-Algorithm, IEEE Transactions on Fuzzy Systems, 17(3), 578–589 (2009).

    Google Scholar 

  19. Srivastava, A.K., Tiwari, S.P., IF-topologies and IF-automata, Soft Computing, 14, 571–578 (2010).

    Google Scholar 

  20. Tiwari, S.P., Singh, Anupam K., On bijective correspondence between IF-preorders and saturated IF-topologies, International Journal of Machine Learning and Cybernetics, 4, 733–737 (2013).

    Google Scholar 

  21. Tiwari, S.P., Singh, Anupam K., IF-preorder, IF-topology and IF-automata, International Journal of Machine Learning and Cybernetics, 6, 205–211 (2015).

    Google Scholar 

  22. Tiwari, S.P., Srivastava, A.K., On a decomposition of fuzzy automata, Fuzzy Sets and Systems, 151, 503–511 (2005).

    Google Scholar 

  23. Tiwari, S.P., Yadav, Vijay K., Singh, A.K., On algebraic study of fuzzy automata, International Journal of Machine Learning and Cybernetics 6, 479–485 (2015).

    Google Scholar 

  24. Vickers, S., Topology via Logic, Cambridge University Press, (1989).

    Google Scholar 

  25. Yadav, Vijay K., Gautam, Vinay, Tiwari, S.P., On minimal realization of IF-languages: A categorical approach, Iranian Journal of Fuzzy Systems, 13(3), 19–34 (2016).

    Google Scholar 

  26. Zhang, X., Li, Y., Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata, Soft Computing, 13, 611–616 (2009).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Vijay K. Yadav .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Yadav, V.K., Yadav, S., Dubey, M.K., Tiwari, S.P. (2019). Algebraic Characterization of IF-Automata. In: Panigrahi, C., Pujari, A., Misra, S., Pati, B., Li, KC. (eds) Progress in Advanced Computing and Intelligent Engineering. Advances in Intelligent Systems and Computing, vol 714. Springer, Singapore. https://doi.org/10.1007/978-981-13-0224-4_51

Download citation

  • DOI: https://doi.org/10.1007/978-981-13-0224-4_51

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-13-0223-7

  • Online ISBN: 978-981-13-0224-4

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics