Implication-Based Neutrosophic Finite State Machine over a Finite Group

In this paper, we define and investigate the concept of the implication-based neutrosophic finite state machine (IB-IFSA) over a finite group. Building upon the framework of neutrosophic logic, we introduce the implication-based neutrosophic kernel and the implication-based neutrosophic subsemiautomaton, establishing their formal definitions and properties. Additionally, we explore the structural interplay between these concepts and their implications within algebraic systems.