automata - 找到一个集合以显示与非常规语言的可区分性

Question

我有一种语言 L 使得 L 包括 2 ^ k 中的 2 的所有串联，其中 k 是素数。

例如，2^1 = 2、2^5 = 22222、2^7 = 2222222

我已经知道 L 是不规则的，因为必须存在一组相对于 L 成对可区分的字符串。

然而，我正在努力想出这样一组字符串。任何帮助，将不胜感激！

标签： automatafinite-automataautomata-theory