Problema de computación para programas informáticos ejecutables, como análisis, desarrollo de algoritmos y verificación.