Общая рекурсивная функция

От / / Оставьте комментарий

Общая рекурсивная функция μ-рекурсивные функции являются обобщением рекурсивных функций, определенных с помощью μ-оператора.  μ-рекурсивные функции могут быть определены с использованием […]

Computability theory, Theory of computation, Теория вычислений, Теория вычислимости

Общая рекурсивная функция

  • μ-рекурсивные функции являются обобщением рекурсивных функций, определенных с помощью μ-оператора. 
  • μ-рекурсивные функции могут быть определены с использованием примитивно-рекурсивных функций и μ-оператора. 
  • Оператор минимизации используется для сравнения частичных μ-рекурсивных функций. 
  • Примеры μ-рекурсивных функций включают определение квадратного корня и полную рекурсивную функцию. 
  • Теорема о нормальной форме позволяет определить μ-рекурсивные функции с использованием примитивно-рекурсивных функций и μ-оператора. 
  • Символические обозначения используются в литературе для упрощения записи вывода функций с помощью операторов. 

Полный текст статьи:

Общая рекурсивная функция — Википедия

Похожие статьи:

  1. Общая рекурсивная функция Общая рекурсивная функция Определение и свойства μ-рекурсии μ-рекурсия — это форма рекурсии, которая позволяет определить функцию,...
  2. ЭЛЕМЕНТАРНО начальный Определение и классификация элементарных рекурсивных функций Элементарные рекурсивные функции — это объединение классов примитивных рекурсивных...
  3. Символическая ссылка Символическая ссылка Определение и использование символических ссылок Символические ссылки — это специальные файлы, которые указывают на...
  4. Примитивная рекурсивная функция Примитивная рекурсивная функция Примитивные рекурсивные функции используются для определения сложных функций с помощью рекурсии.  Рекурсия выполняется...
  5. Основная теорема (анализ алгоритмов) Основная теорема (анализ алгоритмов) Основная теорема асимптотического анализа Основная теорема позволяет определить асимптотическую сложность рекурсивных алгоритмов. ...
  6. Рекурсивная грамматика Рекурсивная грамматика Определение рекурсивной грамматики Рекурсивная грамматика содержит правила, которые могут привести к созданию строки с...
  7. Функция Аккермана Функция Аккермана Функция Аккермана используется для определения времени выполнения рекурсивных алгоритмов.  Функция Аккермана растет быстрее, чем...
  8. Рекурсия (информатика) Рекурсия (информатика) Рекурсия — это метод определения функции, которая вызывает саму себя.  Рекурсивные функции могут быть...
  9. Список алфавитов латинского алфавита Список алфавитов, написанных латиницей Орграфы в языках Орграфы — это буквы, которые используются для обозначения одного...
  10. Формализм Маккарти Формализм Маккарти Определение и использование условного оператора Условный оператор используется для ветвления вычислений на основе условия. ...
  11. Постоянно-рекурсивная последовательность Постоянная рекурсивная последовательность Константно-рекурсивные последовательности имеют свойство повторяемости с постоянным коэффициентом.  Линейная рекуррентность является уравнением, описывающим...
  12. Редукция (теория вычислимости) Редукция (теория вычислимости) Определение рекурсии Рекурсия — это процесс, при котором функция вызывает сама себя.  Рекурсивные...
  13. Вычислимая функция Вычислимая функция Определение вычислимости Вычислимая функция — это функция, которую можно вычислить с помощью алгоритма.  Вычислимость...
  14. Защита от записи Защита от записи Защита от записи Защита от записи предотвращает запись, изменение или стирание данных на...
  15. Примитивная рекурсивная арифметика Примитивная рекурсивная арифметика Примитивная рекурсивная арифметика (PRA) — формализация арифметики первого порядка без аксиом индукции.  PRA...
  16. Гиперарифметическая теория Гиперарифметическая теория Определение и свойства рекурсивных функций Рекурсивная функция — это функция, которая вызывает сама себя. ...
  17. Рекурсивный язык Рекурсивный язык Определение рекурсивного языка Рекурсивный язык — это язык, который может быть описан рекурсивной функцией. ...
  18. Первоклассная функция Первоклассная функция Определение и важность первоклассных функций Первоклассные функции позволяют передавать функции как аргументы и возвращать...
  19. Буфер записи Буфер записи Буфер записи в кэшировании Буфер записи используется для ускорения записи данных из кэша в...
  20. Индукция-рекурсия Индукция-рекурсия Основы индукционно-рекурсивной теории типов Индукционно-рекурсия позволяет одновременно объявлять тип и функцию для этого типа.  Созданные...
  21. Запись CNAME Запись CNAME Основы DNS и записи CNAME DNS — система доменных имен, обеспечивающая поиск и разрешение...
  22. Помощь оператора Помощь оператора Основные услуги телефонного оператора Помощь оператора включает в себя звонки с телефонов-автоматов и другие...

Оставьте комментарий

Прокрутить вверх