generalized computability

Мат. обобщенная вычислимость