Text this: Axiomatic analysis of state operators in Sheffer stroke BCK-algebras associated with algorithmic approaches