Anonymous user
Talk:Universal Turing machine: Difference between revisions
→Universal Turing machine or just a Turing machine?: new section
No edit summary |
(→Universal Turing machine or just a Turing machine?: new section) |
||
| (6 intermediate revisions by 2 users not shown) | |||
Line 30:
: Then, ("s1", "a", "se", "b", left) means that we read a on the tape, switch from state s1 to state se, write b on the tape and move to the left. 0, 1, 2 are not tape symbols. You are right, thogh, that the tape looks something like this in the end: <tt>**aaaaaabbbbbbbb**</tt> --[[User:Coenig|Coenig]] 07:36, 19 February 2013 (UTC)
::
::: Okay, now I see. That seems right to me, I get the blanks, too. (Didn't get that you were referring to the D implementation.) Should we add the example to the task definition? --[[User:Coenig|Coenig]] 19:11, 19 February 2013 (UTC)
:::: I think that's a good idea, provided that you use the same notation as the other examples. [[User:Fwend|Fwend]] 19:48, 19 February 2013 (UTC)
::::
<blockquote>
For instance:
<pre>
States: A, B, C, D, E, HALT
Initial state: A
Terminating states: HALT
Permissible symbols: 0, 1, 2, 3
Blank symbol: 0
Rules:
(A, 1, 1, right, A)
(A, 2, 3, right, B)
(A, 0, 0, left, E)
etc
Input: 12212212121212
Expected output: 0111111222222220
</pre>
BTW, I think we should add expected output to all the examples. [[User:Fwend|Fwend]] 20:06, 19 February 2013 (UTC)
</blockquote>
== Universal Turing machine or just a Turing machine? ==
From reading [https://en.wikipedia.org/wiki/Universal_Turing_machine#Example_of_universal-machine_coding Wikipedia] I get the impression that a true UTM would have static pre-defined action table and would read an encoding of a specific TM from tape (along with the input for that TM) and then using the static action table effectively execute that TM producing the required output.
That's a much more difficult task that the one actually solved here which is just a general re-programable TM. (I'd also think a true UTM task wouldn't be appropriate here as it mostly involves writing a very complicated TM action table and then just inputting it to one of the general TM's specified here.)
Am I missing something or should this task be renamed/clarified.
-- [[User:Dchapes|Dchapes]] ([[User talk:Dchapes|talk]]) 21:14, 3 August 2014 (UTC)
| |||