Каталог статей /

Рекурсивная функция (теория вычислимости)

Рекурсивная функция (теория вычислимости) · Примитивно рекурсивная функция · Частично рекурсивная функция · Общерекурсивная функция · Свойства · История возникновения названий · Близкие статьи · Литература · Официальный сайт ·


Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций

  • примитивно рекурсивные функции;
  • частично рекурсивные функции;
  • общерекурсивные функции.

Последние совпадают с классом вычислимых по Тьюрингу функций. Определения этих трёх классов сильно связаны. Они были введены Куртом Гёделем с целью формализации понятия вычислимости.

Множество частично рекурсивных функций включает в себя множество общерекурсивных функций, а общерекурсивные функции включают в себя примитивно рекурсивные функции. Частично рекурсивные функции в некоторых случаях называют просто рекурсивными функциями.

  • Russian to English Russian to German Russian to French Russian to Spanish Russian to Italian Russian to Japanese

Информация на сайте из открытых источников. Основа ВикипедиЯ. | Пожалуйста, внимательно прочитайте эту страницу!