Math 是否有任何软件采用集合生成器符号并返回花名册符号？

例如，如果你输入{x | xεZ，0我不知道有这样的软件

请注意，不存在枚举任意集合的通用算法；接受以集合生成器表示法编写的任何集合的程序也必须能够解决例如停止问题。此外，存在即使理论上也无法枚举的集合，例如，其构造要求在实值上使用选择函数的集合

---

当然，如果您限制集合生成器符号中可以出现哪种表达式，问题就更容易了，但即使如此，比线性不等式更复杂的任何东西都是出人意料的困难。例如，已知不存在确定多项式等式是否

p（x_1，…，x_9）的算法=0

在九个变量中有一个整数解（这是希尔伯特第十个问题的扩展），更不用说实际找到一些示例解了。

我不知道有这样的软件

请注意，不存在枚举任意集合的通用算法；接受以集合生成器表示法编写的任何集合的程序也必须能够解决例如停止问题。此外，存在即使理论上也无法枚举的集合，例如，其构造要求在实值上使用选择函数的集合

---

当然，如果您限制集合生成器符号中可以出现哪种表达式，问题就更容易了，但即使如此，比线性不等式更复杂的任何东西都是出人意料的困难。例如，已知不存在确定多项式等式是否

p（x_1，…，x_9）的算法=0

在九个变量中有一个整数解（这是希尔伯特第十个问题的扩展），更不用说实际找到一些示例解决方案。

您希望它返回一个无限集吗？从您的示例中，您实际希望的是将您称之为“集合生成器”的符号转换为我称之为“集合示例”的符号，因为我不知道它是否有一个更广泛使用的名称。请澄清您的要求。抱歉对于最近的回复，我没有注意到我收到了回复，谢谢你的评论。我的意思不是字面上的无限集。我希望它返回一个缩写集，就像上面的例子一样。如果给定的集合生成器符号是无限的，我希望它返回缩写的“集合示例”符号，如{1,2,3,4，…}.你想让它返回一个无限集吗？从你的例子来看，你实际上想要的是将你称之为“集合生成器”的符号转换成我称之为“集合示例”的符号，因为我不知道它是否有一个更广泛使用的名称。请澄清你的要求。很抱歉，我没有注意到我收到了答复，谢谢你的评论。我的意思不是字面无限集。我希望它返回一个缩写集，就像上面的例子一样。如果给定的集合生成器符号是无限的，我希望它返回缩写的“set exemplar”符号，如{1,2,3,4，…}。