Turing machines 非确定性图灵机

我是NDTM新手，但我确实理解图灵机器的概念。当谈到NDTM时，我有点困惑，我应该为语言{a，b，c}和

L = {w ∈ Σ*| Ǝv ∈ Σ*, Ǝn >= 2 with w = v (to the power of) n }

我想知道的第一件事是如何读L，例如，Ǝ的意思是什么。 我理解NDTM为twp提供了一种结果的可能性，例如： 如果我是对的，我们会有a和没有a。有人能帮我解决这个问题吗？

我想这应该标记为“家庭作业”

Ǝ

是否“存在”

在本例中，∑

是“语言中的符号集”（

{a，b，c}

）

∈是“元素”

既然有了它，我们就可以读这种语言了。因此，
L
是
{a，b，c}*
中的一组单词
w
，这样存在一个单词
v
，存在一个
n>=2
，这样
w
是
v
n
次的重复。例如，
ababab=（ab）^3∈ L

现在，您需要一台图灵机，
M
，来表示这种语言，因此您必须考虑：


我们什么时候拒绝一个单词（我们的拒绝状态是什么，堆栈上有什么）
我们什么时候接受一个单词（我们的接受状态是什么，堆栈上有什么）
我们如何保证
M
终止

我们可以看到
a
不在
L
中，因为
n>=2
，这意味着
v^n
的长度至少是
2
（
0
在空字符串的情况下，这是一个异常值）。类似地，对于
b
和
c
。考虑到“代码> n>＝2 < /代码>，找出哪些词不被接受（例如考虑<代码> B <代码>，<代码> ABC < /代码>，<代码> CAB < /代码>，<代码> CCA < /代码>等等。那句话是在数学中说的。它基本上是说，L是σ*中w的集合，其中σ*中也有一个v，使得w=v^n，其中n>=2。至少要回答你的一个问题，倒过来的E基本上是“存在”或“有一个”。@Two bitalchesm不是和w的长度相同吗，w的长度必须是2的倍数？我想在这里你可以问任何关于计算机主题的问题@S.N StackOverflow仅用于与特定编程相关的问题。不，它完全不同。如果Sigma*是集合
{1,2,3,4,5,6,7,8,9}
，那么L将是
{1,2,3}
，因为它基本上要求你给它集合中的每个成员赋予该成员的幂（平方或更好）。它与偶数无关。