Математическая энциклопедия
- алгоритмическая проблема, в к-рой для заданного множества Атребуется построить алгоритм, перечисляющий А, т. е. такой алгоритм 
, к-рый применим ко всякому натуральному числу и перерабатывает его в элемент из А, причем любой элемент из Аполучается в результате применения 
к нек-рому натуральному числу; иными словами, 
. П. п. для множества Аразрешима тогда и только тогда, когда А - непустое перечислимое множество. В. Е Плиско