Comment by dlahoda

"All Charity computations terminate" - Turing decidable it was.