3 ms·
I believe it is by definition? The machines that don’t halt are filtered out. The trouble is how to do the filtering.
by skybrian 1y ago
I believe it is by definition? The machines that don’t halt are filtered out. The trouble is how to do the filtering.