Существуют ли языки программирования (или логика), которые могут реализовать (или выразить) функцию тогда и только тогда, когда f вычислимые биективные функции?
10
Существуют ли языки программирования (или логика), которые могут реализовать (или выразить) функцию тогда и только тогда, когда f вычислимые биективные функции?
Ответы:
Там нет такого языка.
Тем не менее, посмотрите на Бумеранг . Это язык для написания биекций между строками. Я не знаю, насколько широкий класс карт выразим в нем, но я уверен, что вы можете узнать, если вы ищете немного.
источник