Существует ли какое-либо программное обеспечение, которое принимает установленные обозначения компоновщика и возвращает записи реестра?

Question

Например, если вы подаете {x|xεZ,0

Answer 1

Я не знаю ни одного такого программного обеспечения.

Обратите внимание, что не существует общего алгоритма для перечисления произвольных множеств; программа, которая принимает любой набор, записанный в нотации построителя множеств, также должна быть способна решить, например, проблему остановки. Более того, существуют множества, которые нельзя перечислить даже теоретически, например, те, чье построение требует использования функции выбора на вещественных числах.

Естественно, проблема проще, если вы ограничиваете, какие выражения могут появляться в нотации построителя множеств, но даже тогда что-либо более сложное, чем линейные неравенства, на удивление сложно. Например, известно, что не существует алгоритма для определения того, является ли полиномиальное равенство P(x_1, ..., x_9)=0 у девяти переменных есть целочисленное решение (это расширение 10-й задачи Гильберта), не говоря уже о том, чтобы найти некоторые примерные решения.