S-equivalence, in the context of formal languages, particularly in the theory of automata, refers to a specific type of equivalence between state machines (such as finite automata, pushdown automata, etc.) concerning the languages they recognize. Two automata are considered S-equivalent if they accept the same set of input strings.
New to topics? Read the docs here!