|
Сибирский математический журнал, 1995, том 36, номер 2, страницы 390–396
(Mi smj641)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О типах сходства и изоморфизма частично рекурсивных функций
Е. А. Поляков
Аннотация:
На множестве всех одноместных частично рекурсивных функций определяются два отношения эквивалентности: сходство и изоморфизм. Рассматривается проблема описания частично рекурсивных функций, тип сходства которых состоит из одного типа изоморфизма. Такие функции названы $F$-функциями. В статье находятся необходимые и достаточные условия для того, чтобы частично рекурсивная функция была $F$-функцией. Строится пример $F$-функции, отличной от универсальной, с нерекурсивной областью определения.
Библиогр. 2.
Статья поступила: 31.03.1994
Образец цитирования:
Е. А. Поляков, “О типах сходства и изоморфизма частично рекурсивных функций”, Сиб. матем. журн., 36:2 (1995), 390–396; Siberian Math. J., 36:2 (1995), 343–347
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj641 https://www.mathnet.ru/rus/smj/v36/i2/p390
|
Статистика просмотров: |
Страница аннотации: | 203 | PDF полного текста: | 110 |
|