"рекурсивно счетная функция"

[elle]

Люди, помогите плиз. Что значит рекурсивно счетная функция??? Искала в Инете, не нашла(((. Сэнкс ин адванс!

[Dandan]

есть функции частично рекурсивные и примитивно рекурсивные.
"http://ru.wikipedia.org/wiki/Частично_рекурсивная_функция".
Примитивно рекурсивные это без операции минимизации.

[luitzen]

Где встретилось такое словосочетание?
Быть может, проблемы с переводом? Возможно, имелась в в виду рекурсивно перечислимая (enumerable) функция? (Множества такими точно бывают).

[elle]

to Dandan... Нет, я не это имею в виду. примитивно рекурсивная и частично рекурсивные функции - это понятно. На самом деле действ. наверное проблема с переводом.

Скорее всего это таки enumerable. Я учусь на молдавском языке и больше всего это похоже именно на счетную (т.е. enumerable).
luitzen, может дашь определение этой функции?

[luitzen]

Определения рекурсивно перечислимой функции найти не удалось. Если пофантазировать, то, например, так можно назвать функцию, областью определения которой является рекурсивно перечислимое множество.

Кроме того, характеристика recursively enumerable может встречаться в контекстах наподобие The Primitive Recursive Functions are Recursively Enumerable, где она употребляется коллективно, а не дистрибутивно: рекурсивно перечислимым является множество неких функций, а не каждая из них в отдельности.

[elle]

to luitzen... большой сэнкс за помощь:)