excelente y (prob. involuntariamente profunda) pregunta. De hecho, existen programas de detección de detención que pueden tener éxito en conjuntos limitados de entradas. Es un área activa de investigación. tiene vínculos muy fuertes con las áreas de prueba de teoremas (automatizadas).
sin embargo, la informática no parece tener un término exacto para "programas" que "a veces" tengan éxito. la palabra "algoritmo" generalmente está reservada para programas que siempre se detienen.
el concepto parece ser claramente diferente de los algoritmos probabilísticos donde los teóricos de CS insisten en que haya alguna probabilidad conocida o computable de su éxito.
hay un término semialgoritmos que se usa a veces, pero aparentemente es un sinónimo de recursivamente enumerable o no computable.
así que para propósitos aquí, llámalos llámelos cuasialgoritmos . El concepto es diferente de decidible vs indecidible.
se podría decir que no se pueden comparar los cuasialgoritmos. pero de hecho parece haber una jerarquía natural (un ordenamiento parcial) de estos cuasialgoritmos. Supongamos que un quasialgorithm puede detectar detención de un conjunto limitado de programas de entrada dicen X . otro B puede detectar detención de un conjunto Y . si X ⊂ Y es decir, X es adecuada subconjunto de Y entonces B es "más potente" que A .AXBYX⊂YXYBA
en CS, esta "jerarquía de cuasi algoritmo" parece estudiarse principalmente solo de manera informal hasta ahora.
aparece en la investigación de castores ocupados [1] y el problema PCP [2]. de hecho, un ataque informático basado en ADN en PCP puede verse como un quasialgoritmo. [3] y se ve en otras áreas ya señaladas, como la demostración de teoremas [4].
[1] Nuevo ataque del milenio al problema del castor ocupado
[2] Problema de correspondencia de Tackling Posts por Zhao (v2?)
[3] Utilizando el ADN para resolver el problema de la correspondencia posterior a los límites de Kari et al.
[4] prueba de terminación del programa por Cook et al, Comm. de la ACM
(así que esta es realmente una pregunta muy profunda que definitivamente merece estar en TCS.SE, en mi opinión ... tal vez alguien pueda volver a preguntarla de tal manera que se ajuste y permanezca)