-3

我已经阅读了我的书中关于图灵机及其工作原理的所有内容,但我对如何撰写这篇文章一无所知。即使我设法对图灵机进行了所有练习,但这只是让我抬起头来墙。所以这里是

http://postimg.org/image/ja4o7c28f/

(希望这有效!)

这就是我需要将其构建到图灵机的电路,该图灵机以真假价格获得 A、B、C。

首先,我不明白如何阅读图表。我试图了解每个信号通过 -|>o- (not) thingy 后会发生什么 - 我知道它们将与它们所在的位置相反,但如果 A 通过它,它将以 A' 的形式出现 - 然后当它与另一个 A' 一致时会发生什么?

即使我有这个想法,我也在为如何将其表达为图灵机而苦苦挣扎。

对不起,我的英语使用不好,但在第一学期,为了让我大学里的每个人都能轻松,他们使用翻译成希腊语的编程,我还不知道正确的词来解释我的编程问题!

提前感谢您甚至尝试阅读所有这些内容:)

4

2 回答 2

1

我真的不明白你的问题。你说“所以如果 A 通过它,它会以 A' 的形式出现,但是当它与另一个 A' 一致时会发生什么?到目前为止,这是你问的唯一问题。

这个问题的答案是,在您正在查看的图表中,行尾只有“连接”。因此,在 A 与 A' 相交的地方,没有联系,没有互动。

您发布的图表的输出功能是:

输出 = A'BC + AB'C + ABC'

IE 仅当只有一个输入为假时,输出为真。

这就是你要问的第 1 部分。

要将其表示为图灵机,您需要确定您拥有哪些“状态”。似乎很清楚,重要的是“我在错误之前看到了哪些输入?”。这意味着您需要状态来告诉您哪些输入被认为是错误的。可能的组合是:

  1. 我还没有看到错误的输入
  2. 我只见过A'
  3. 我只见过B'
  4. 我只见过C'

从这些状态中的每一个,您将获得其他状态之一,或最终答案。

状态 1 的规则将是“如果输入为假,则移动到适当的状态(2、3 或 4)并向右移动磁带。

其他 3 个状态中的每一个的规则将是“如果输入为假,并且不是我已经看到的那个,则拒绝。如果输入不是假的,那么只需将磁带向右移动。

如果您需要达到“接受”状态,或者在处理了三个输入后停止,那么您需要更多的状态,这样您就可以跟踪您已经看到了多少。

于 2014-01-19T01:04:28.820 回答
1

所以这是文件:) 我必须通过 8 个值

000
001
...
111

从电路中我可以看到,正如你告诉我的 Jade,只有当我得到 2 个真值并且只有这样我才会有真值作为最终值,所以这里是图灵机

4ηΆσκηση

>      
>     Start         *           *        Right      Kat
>     Kat           1           1        Right      S1
>     Kat           0           0        Right          L1
>     Kat           *           *        None           False
>     S1            1           1            Right      S2
>     S1            0           0        Right      S1  
>     S1            *           *        None           False
>     L1            1           1        Right      S1
>     L1            0           0        Right      L2
>     L1            *           *        None       False
>     S2            1           1        Right      False
>     S2            0           0        Right      True
>     S2            *           *        None       True
>     L2            1           1        Right      False
>     L2            0           0        Right      False
>     L2            *           *        None       False
>     False         1           1        None       End
>     False         0           0        None       End
>     False         *           *        None       End
>     True          0           0        None       End
>     True          1           1        None       End
>     True          *           *        None       End
于 2014-01-22T21:48:47.007 回答