Вычислительная задача для исполняемых компьютерных программ, таких как анализ, разработка алгоритмов и проверка.