Distinguishable and Inverses of Neutrosophic Finite Automata

This chapter focuses on neutrosophic finite automata with output function. Some new notions on neutrosophic finite automata are established and studied, such as distinguishable, rational states, semi-inverses, and inverses. Interestingly, every state in finite automata is said to be rational when its inputs are ultimately periodic sequence that yields an ultimately periodic sequence of outputs. This concludes that any given state is rational when its corresponding sequence of states is distinguishable. Furthermore, this study is to prove that the semi-inverses of two neutrosophic finite automata are indistinguishable. Finally, the result shows that any neutrosophic finite automata and its inverse are distinguished, and then their reverse relation is also distinguished. Distinguishable and Inverses of Neutrosophic Finite Automata

[1]  George H. Mealy,et al.  A method for synthesizing sequential circuits , 1955 .

[2]  Stefan C. Kremer,et al.  New directions in fuzzy automata , 2005, Int. J. Approx. Reason..

[3]  John N. Mordeson,et al.  Fuzzy Mealy machines , 1996 .

[4]  Florentin Smarandache,et al.  Triangular Cubic Hesitant Fuzzy Einstein Hybrid Weighted Averaging Operator and Its Application to Decision Making , 2018, Symmetry.

[5]  Xiuhong Guo,et al.  Grammar theory based on lattice-ordered monoid , 2009, Fuzzy Sets Syst..

[6]  Qaisar Khan,et al.  Interval neutrosophic finite switchboard state machine , 2016 .

[7]  F. Smarandache,et al.  Application of Bipolar Neutrosophic sets to Incidence Graphs , 2019 .

[8]  Florentin Smarandache,et al.  A hybrid neutrosophic multiple criteria group decision making approach for project selection , 2019, Cognitive Systems Research.

[9]  S. P. Tiwari,et al.  DISTINGUISHABILITY AND COMPLETENESS OF CRISP DETERMINISTIC FUZZY AUTOMATA , 2017 .

[10]  Florentin Smarandache,et al.  Neutrosophic set - a generalization of the intuitionistic fuzzy set , 2004, 2006 IEEE International Conference on Granular Computing.

[11]  Mohammad Mehdi Zahedi,et al.  GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED , 2017 .

[12]  J. Kavikumar,et al.  General Fuzzy Finite Switchboard Automata , 2019, New Math. Nat. Comput..

[13]  John P. Gallagher,et al.  Horn clause verification with convex polyhedral abstraction and tree automata-based refinement , 2017, Comput. Lang. Syst. Struct..

[14]  Mohamed Batouche,et al.  Multilevel Thresholding for Image Segmentation Based on Cellular Metaheuristics , 2018, Int. J. Appl. Metaheuristic Comput..

[15]  Umberto Rivieccio,et al.  Neutrosophic logics: Prospects and problems , 2008, Fuzzy Sets Syst..

[16]  Y. Jun,et al.  N-IDEALS OF SUBTRACTION ALGEBRAS , 2010 .

[17]  Tatjana Petkovic,et al.  Congruences and homomorphisms of fuzzy automata , 2006, Fuzzy Sets Syst..

[18]  Qingguo Li,et al.  Algebraic properties of L-fuzzy finite automata , 2013, Inf. Sci..

[19]  Young Bae Jun,et al.  Bipolar Fuzzy Finite State Machines , 2011 .

[20]  J. Kavikumar,et al.  N-structures applied to finite state machines , 2013 .

[21]  Harish Garg,et al.  Some Root Level Modifications in Interval Valued Fuzzy Graphs and Their Generalizations Including Neutrosophic Graphs , 2019, Mathematics.

[22]  Yongzhi Cao,et al.  Model checking fuzzy computation tree logic , 2015, Fuzzy Sets Syst..

[23]  Zorana Jančić,et al.  Weighted finite automata with output , 2018, Soft Comput..

[24]  F. Smarandache,et al.  An Isolated Bipolar Single-Valued Neutrosophic Graphs , 2018 .

[25]  Ying Zhai,et al.  Weak commutativity of fuzzy finite state machines , 2017, 2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD).

[26]  J. Kavikumar,et al.  Traffic control management using Gauss Jordan method under neutrosophic environment , 2019 .

[27]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[28]  Y. Jun.  Intuitionistic fuzzy finite state machines , 2005 .

[29]  Witold Pedrycz,et al.  Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids , 2005, Fuzzy Sets Syst..

[30]  Seymour Ginsburg,et al.  Some remarks on abstract machines , 1958, ACM '58.