LINUX.ORG.RU
Форум — Talks  

Бесконечная рекурсивная функция


0

0

Как организовать её программными средствами? Можно делать что угодно, только бы она была бесконечной, т.е. могла вызывать себя бесконечное число раз. Подчёркиваю: именно бесконечное, ничем не ограниченное - ни размером стека, ни объёмом памяти. Видимо нужно организовать какую-то функцию от передаваемых аргументов, либо особым образом построить стек, либо лезть в ассемблер. Может есть готовые реализации подобной вещи? Вопрос исключительно интереса ради.

★★★★★
← Тут увидел в сообщениях слово «генномодифицированне» продукты. Чем это страшно
KOffice 2.1 RC →
  1 2 →

тебе нужен бесконечный стек, стек - мебиуса.

wfrr ★★☆
()
Ответ на: комментарий от jcd

>>Кольцевой буфер вместо стека

> Тогда при возвращении можем получить не те значения переменных, которые заложили.

ммм... раскажите еще о возвращении из __бесконечной__ рекурсии

_________________________

З.Ы. если ты не совсем бредишь и тебе просто нужен стэк в несколько ГБ, то в pthread емнип можно указать свой стэк.

www_linux_org_ru ★★★★★
()
Ответ на: комментарий от www_linux_org_ru

>раскажите еще о возвращении из __бесконечной__ рекурсии

в отношении счётчика для возвращения мы рассматриваем условную бесконечность (возможность счётчика вместить очень большое число), а в отношении самой функции - абсолютную, т.к. функция во много раз требовательней к памяти, чем простой счётчик.

jcd ★★★★★
() автор топика
Ответ на: комментарий от your_bunny

> Продолжайте учить математическую логику. Конкретно - нумерацию Клини, тезис Чёрча, короче программу за первый курс университета.

Пожалусто, раскажите, как и что тут связано. Особенно тезис Чёрча каким боком приплели?

namezys ★★★★
()
Ответ на: комментарий от your_bunny

> Продолжайте учить математическую логику. Конкретно - нумерацию Клини, тезис Чёрча, короче программу за первый курс университета.

А потом слегка философии, особенно в области термина "бесконечность".

balodja ★★★
()
Ответ на: комментарий от namezys

> Пожалусто, раскажите, как и что тут связано. Особенно тезис Чёрча каким боком приплели?

см. эквивалентность класса частично-рекурсивных функций и функций правильно вычислимых на МТ. Это теорема Клини, ЕМНИП. А тезис Чёрча постулирует эквивалентность МТ/ЧРФ/Нормальные алгоритмы Маркова вычиcлимым функциям.

Собственно, "Любая вычислимая частичная функция частично рекурсивна". Это из Ершова, Палютина "Математическая логика".

Сначала ознакомьтесь с предметом, прежде чем говорить "каким боком приплели".

your_bunny
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
  1 2 →
← Тут увидел в сообщениях слово «генномодифицированне» продукты. Чем это страшно
Talks
KOffice 2.1 RC →