2 ms·
They might be generating programs that they know will halt. Like: applications with finite loops and such. There are not enough details.
by tgv 3y ago
They might be generating programs that they know will halt. Like: applications with finite loops and such. There are not enough details.