Comment by subleq

That's not a computable function. Function equality (x==K) is undecidable.