без примеровНайдено в 2 словарях
Вычислительная техника и программирование- Настоящее издание существенно дополнено терминами из области проектирования и моделирования логических устройств, систем представления знаний, компьютеризации производства, систем искусственного интеллекта, вычислительных сетей, цифровой обработки сигналов, параллельных и конвейерных вычислений, системного анализа, интернет-технологий.
- Настоящее издание существенно дополнено терминами из области проектирования и моделирования логических устройств, систем представления знаний, компьютеризации производства, систем искусственного интеллекта, вычислительных сетей, цифровой обработки сигналов, параллельных и конвейерных вычислений, системного анализа, интернет-технологий.
рекурсивная функция
recursive function
MechanicalEngineering (Ru-En)
рекурсивная функция
(определяется через саму себя) recursive function
Откройте все бесплатные
тематические словари
Примеры из текстов
Пусть F — инъективная рекурсивная функция, перечисляющая А, и пусть предикат R такой же, как и в доказательстве теоремы Фридберга —Мучника.Let F be an injective recursive function enumerating A, and let R be as in the proof of the Friedberg-Muchnik theorem.Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical LogicMathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.Математическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.
В рекурсивном вычислителе функция для синтезируемого атрибута получает в качестве параметров значения некоторых наследуемых атрибутов.In a recursive evaluator, the function for a synthesized attribute lakes the values of some of the inherited attributes as parameters.Ахо, Альфред В.,Ульман, Джеффри,Сети, Рави / Компиляторы: принципы, технологии, инструментыAho, Alfred V.,Sethi, Ravi,Ullman, Jeffrey / Compilers: Principles, Techniques, and ToolsCompilers: Principles, Techniques, and ToolsAho, Alfred V.,Sethi, Ravi,Ullman, Jeffrey© 2001 by PEARSON EDUCATION NORTH ASIA LIMITED and PEOPLE'S POSTS & TELECOMMUNICATIONS PUBLISHING HOUSE© 1986Компиляторы: принципы, технологии, инструментыАхо, Альфред В.,Ульман, Джеффри,Сети, Рави© Addison-Wesley Publishing Company, Inc., 1985© 2001© Издательский дом "Вильямс", 2001
В данном упражнении рассмотрим пример записи рекурсивных функций.In this exercise, we shall explore an example of the recursive-function notation.Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationIntroduction to automata theory, languages, and computationHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey© 2001 by Addison-WesleyВведение в теорию автоматов, языков и вычисленийХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри© Издательский дом "Вильямс", 2002© Addison-Wesley Publishing Company, Inc. 2001
В этом смысле выражение "проблема рекурсивна" означало, что она "проста настолько, что можно записать рекурсивную функцию, которая всегда приводит к ее решению за конечное число шагов".In that sense, to say a problem was "recursive" had the positive sense of "it is sufficiently simple that I can write a recursive function to solve it, and the function always finishes.Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationIntroduction to automata theory, languages, and computationHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey© 2001 by Addison-WesleyВведение в теорию автоматов, языков и вычисленийХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри© Издательский дом "Вильямс", 2002© Addison-Wesley Publishing Company, Inc. 2001
Что еще интереснее — 33% времени заняло выполнение рекурсивной функции и 16% — итеративной. Итеративная функция работает намного быстрее.What is more interesting than this, is that 33 percent of the total time is in the recursive routine and only 16 percent in the iterative the iterative routine is much faster.Кайт, Том / Oracle для профессионаловKyte, Tom / Expert One-on-One OracleExpert One-on-One OracleKyte, Tom© Wrox Press Ltd, 2002Oracle для профессионаловКайт, Том© Перевод на русский язык. ООО «ДиаСофтЮП», 2003© Wrox Press Ltd, 2002
Теперь мы определим рекурсивные функции с помощью обобщенного индуктивного определения, состоящего из трех правил Rl —R3.We now define the recursive functions by a generalized inductive definition consisting of three rules Rl through R3.Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical LogicMathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.Математическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.
Во-вторых, класс функций, задаваемый каждым из этих определений, в точности совпадает с классом рекурсивных функций.Second, the class of functions defined by each of these definitions is exactly equal to the class of recursive functions.Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical LogicMathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.Математическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.
Остается непонятным, что общего между рекурсивными функциями и машинами Тьюринга, которые всегда останавливаются.Yet these recursive functions don't seem to have anything to do with Turing machines that always halt.Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationIntroduction to automata theory, languages, and computationHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey© 2001 by Addison-WesleyВведение в теорию автоматов, языков и вычисленийХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри© Издательский дом "Вильямс", 2002© Addison-Wesley Publishing Company, Inc. 2001
Пусть Н и К— рекурсивные функции, и пусть F и G определены индуктивно следующим образом:Let H and K be recursive functions, and let F and G be defined inductively byШенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical LogicMathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.Математическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.
Разумеется, результаты, доказываемые индукцией по рекурсивным функциям (подобно теореме о представлении), не могут быть обобщены столь просто.Of course, results which are proved by induction on recursive functions (like the representability theorem) cannot be extended so simply.Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical LogicMathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.Математическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.
Следующая теорема представляет собой сформулированный применительно к понятию нормального алгорифма вариант одной теоремы S. С. Kleene о частично рекурсивных функциях.The following theorem, is a variant, formulated with respect to the concept of normal algorithm, of a theorem of S. C. Kleene about partial recursive functions.Шанин, А. / КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВАSanin, A. / Constructive real numbers and constructive function spacesConstructive real numbers and constructive function spacesSanin, A.© 1968 by the American Mathematical SocietyКОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВАШанин, А.
Последний термин сохранился с того времени, когда в работах по математической логике в качестве понятия, предназначаемого для стандартизации общего понятия арифметического алгорифма, почти монопольно фигурировало понятие частично рекурсивной функции.The latter term was used when, as a concept intended as a standardization of the general concept of arithmetic algorithm, the concept of partial recursive function occurred almost exclusively.Шанин, А. / КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВАSanin, A. / Constructive real numbers and constructive function spacesConstructive real numbers and constructive function spacesSanin, A.© 1968 by the American Mathematical SocietyКОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВАШанин, А.
Рекурсивные функцииRecursive functionsШенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical LogicMathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.Математическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.
Каждая константная функция рекурсивна.Every constant function is recursive.Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical LogicMathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.Математическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.
Читатель, не желающий принимать тезис Чёрча, может доказать, что рассматриваемая функция рекурсивна, используя методы этой и следующей глав.The reader who does not wish to accept Church's thesis can provide a proof, based on the methods of this and the next chapter, that the function in question is recursive.Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical LogicMathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.Математическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.
Переводы пользователей
Пока нет переводов этого текста.
Будьте первым, кто переведёт его!
Словосочетания
почти рекурсивная функция
almost recursive function
дважды рекурсивная функция
doubly recursive function
элементарно рекурсивная функция
elementarily recursive function
многократно рекурсивная функция
multiply recursive function
частично рекурсивная функция
partially recursive function
потенциально рекурсивная функция
potentially recursive function
примитивно-рекурсивная функция
primitively recursive function
однократно рекурсивная функция
singly recursive function
примитивно рекурсивная функция
primitively recursive function
алгебра рекурсивных функций
algebra of recursive functions