enumerable

We define functionally recursive partial relation, functionally recursively enumerable, and functionally arithmetical similarly.

Аналогично мы определяем функционально рекурсивное частичное отношение и понятия , функционально рекурсивно перечислимого и функционально арифметического отношения.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Conclude that there exist recursively inseparable recursively enumerable sets.

Затем показать, что существуют рекурсивно неотделимые рекурсивно перечислимые множества.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Every recursively enumerable language is accepted by a three-counter machine.

Каждый рекурсивно перечислимый язык допускается трехсчетчиковой машиной.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

A recursively enumerable set A is simple if its complement is infinite but includes no infinite recursively enumerable set.

Рекурсивно перечислимое множество А называется простым, если его дополнение бесконечно, но не содержит никакого бесконечного рекурсивно перечислимого подмножества.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

[Reduce to the case in which Q is recursively enumerable.

[Свести к случаю, когда Q рекурсивно перечислимо.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Now suppose that we are given an enumerable sequence of equations F

Пусть теперь нам задана счетная система уравнений F

Hodge, W. V. D,Pedoe, D. / Methods of Algebraic Geometry Volume IХодж, В.,Пидо, Д. / Методы алгебраической геометрии. Том 1

Методы алгебраической геометрии. Том 1

Ходж, В.,Пидо, Д.

Methods of Algebraic Geometry Volume I

Hodge, W. V. D,Pedoe, D.

© Cambridge University Press

Thus P is recursively enumerable.

Таким образом, Р рекурсивно перечислимо.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

The set of languages we can accept using a Turing machine is often called the recursively enumerable languages or RE languages,

Языки, допустимые с помощью машин Тьюринга, часто называются рекурсивно перечислимыми , или РП-языками.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

A recursively enumerable set A is creative if it has a creating function.

Рекурсивно перечислимое множество А креативно, если оно имеет креативную функцию.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Suppose that the creative set A is truth-table reducible to the recursively enumerable set B.

Предположим, что креативное множество А Таблично сводимо к рекурсивно перечислимому множеству В.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Then c contains a set C which is recursively enumerable in A.

В таком случае с содержит множество С, которое рекурсивно перечислимо в A.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.