非确定性图灵机

Question

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

开发NDTM

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

我想知道的第一件事是如何阅读L，例如Ǝ的含义是什么。 我确实理解NDTM给出了一个结果的可能性，例如： 如果我是正确的，我们会有一个和没有一个，有人可以帮我把它弄出来吗？

Answer 1

这应标记为＆＃34;家庭作业＆＃34;我认为。

Ǝ是＆＃34;存在＆＃34;
Σ是＃34;语言中的符号集＆＃34; （{a, b,c}）在这种情况下 ∈是＆＃34;

的＆＃34;元素

现在我们有了，我们可以阅读这种语言。因此，L是w中的一组词{a, b, c}*，因此存在一个词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，{{1}}等）