El concepto de decidibilidad puede ser extendido a otros modelos de computación.