This paper aims is to introduce states, Bosbach states and state-morphism operators on BI-algebras. We define state ideals BI-algebras give a characterization of the least ideal BI-algebra. It proved that kernel BI-algebra X an X. Further, by these concepts, we notions The notion complement pairs defined, proves under suitable conditions, there one-to-one correspondence between