问题标签 [countable]

考虑以下语言 S = {0, 00, 000, 0000, 00000,....}。

考虑 S 的幂集，让 S 的幂集的每个元素都是正则语言。由于 S 是可数无限的，它的幂集是不可数无限的。由于 S 的幂集的每个元素都是有限的，每个元素都是正则语言，但这意味着有无数个正则语言。

我知道上面的“证明”是错误的，但我不明白为什么。证明到底在哪里失效。

我偶然发现了一个有趣的案例——我唯一确定的是我会得到一个iterable对象。

我真正并且唯一想做的就是数一数。

我已经搜索了 python 中的 iterable 是否意味着可数，并且我发现许多地方都声称是这样，除了官方文档。

所以出现了2个问题：

1. 在 Python 中，是否可迭代 => 可数（项目数）？还是这样很常见？

2. 是否有一种通用的 Pythonic 方法可以从可迭代对象中获取计数？这似乎在这里得到了回答https://stackoverflow.com/a/3345807/1835470即不是没有计数，但作者提供了一个 pythonic 单行：

   /li>

我刚刚将我的PHP 版本从 5.6 升级到了 7.4。我在我的页面中使用了 count()函数，例如：

警告：count()：参数必须是数组或实现 Countable 的对象...

为了使用可数集，我必须定义 N（自然数）的所有有限子集的编码函数。我怎样才能做到这一点？我从寻找所有自然数的函数开始：f(n)=1+2+...+(n-1)+n。但是我怎样才能为所有可能的 f 子集表达一个编码函数呢？我怎么能说 f 包含所有有限的自然数呢？我不能说 n=infinity-1 因为 infinity-1 仍然是无穷大。有没有一种正式的方式构成所有有限的自然数？

请告诉我怎么了？

谢谢

我在我的网站上收到此警告“警告：count()：参数必须是在 /home4/geec/public_html/home/wp-content/plugins/industing-assistance/inc/elementor/style 中实现 Countable 的数组或对象/services/style1.php 第 92 行

这是我的第 92 行

echo substr($content, 0, ($spos = strpos($content, ' ', $lcount = count($content) > 65 ? $lcount : 65)) ? $spos : $lcount );

我到底需要在我的 php 文件上添加或更改什么？谢谢

我正在编写一个可以执行 Peano 算术的 prolog 程序。

我有自然数的标准定义。

因为我想枚举自然数之间所有可能的加法关系，所以我定义了一个辅助函数（为了定义集合上的总排序）。

然后，我定义了加法

如果我在这个加法的定义上列举所有可能的关系，它工作得很好。当输出一组有限的答案时，它可以停止。

这些工作正常。

但是，如果我进行常规的前向评估，

这个程序不能停止。

我想知道：有没有办法

1. 对于任何有限的答案，给出一个有限的结果。
2. 对于任何无限答案，修复一个特定的有效答案，在有限时间内给出这个指定的答案