Вопросы с тегом «reversible-computing»

В игре с камушками на линии есть N + 1 узлы, обозначенные от 0 до N. Игра начинается с камешка на узле 0. Если на узле i есть камушек, вы можете добавить или удалить камешек из узла i + 1. Цель состоит в том, чтобы поместить гальку в узел N, …

13 complexity  reversible-computing 

Термин « инверсия программы» имеет несколько оттенков смысла, но, вероятно, он начался с работы Дж. Маккарти 1956 года «Обращение функций, определенных машинами Тьюринга в контексте ИИ». К настоящему времени обнаружено множество связей между инверсией программы и другими областями, например, обратимое программирование (физическое и логическое), частичная оценка, верификация, двунаправленное программирование, логическое …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing