В теории вычислимости цилиндрификация — это конструкция, сопоставляющая каждой нумерации цилиндрическую нумерацию . Понятие впервые было введено Юрием Львовичем Ершовым в 1973 году.
Учитывая нумерацию , цилиндризация определяется как
где – функция спаривания Кантора .