1: \begin{abstract}
2: In this paper \emph{implication-based intuitionistic fuzzy finite state machine} otherwise called as \emph{Implication-based intuitionistic fuzzy semiautomaton} (IB-IFSA) over a finite group is defined and investigated intensively. The abstraction of \emph{implication-based intuitionistic fuzzy kernel} and \emph{implication-based intuitionistic fuzzy subsemiautomaton} of an IB-IFSA over a finite group are brought about using the notion of \emph{implication-based intuitionistic fuzzy subgroup} and \emph{implication-based intuitionistic fuzzy normal subgroup}. The necessary and sufficient condition for an \emph{implication-based intuitionistic fuzzy normal subgroup} to be an \emph{implication-based intuitionistic fuzzy kernel} as well as the necessary and sufficient condition for an \emph{implication-based intuitionistic fuzzy subgroup} to be an \emph{implication-based intuitionistic fuzzy subsemiautomaton} of an IB-IFSA are studied.
3: \end{abstract}
4: