Tévedsz, barátom (bár nem 100%-ig tiszta, mit akarsz mondani). Minden egyedi algoritmushoz találsz egy másikat, amely megmondja, megáll-e az első. Csak általános esetre, tehát univerzális algoritmust nem tudsz megadni. Nagy különbség.