Cтраница 4
Существует много эквивалентных определений перечислимого множества. [46]
Это множество пересекается с любым бесконечным перечислимым множеством. [47]
Доказать, что всякое рекурсивно перечислимое множество имеет бесконечно много постовских номеров. [48]
Напротив, если Р - перечислимое множество, перечисляемое алгоритмом А, то оно есть проекция разрешимого множества Q, состоящего из всех таких пар ( ж п), что х появляется в течении первых п шагов работы алгоритма А. [49]