Numerado (teorio de komputado)