4 ms·It is true that some models define halting that way, but in this paper they explicitly do not.by mgraczyk 3y agoIt is true that some models define halting that way, but in this paper they explicitly do not.