Re: Questions on turing machine problems



On 2008-05-06, polymedes <polymedes@xxxxxxxxx> wrote:
1) I'm trying to understand the following problem: let M_1 and M_2
two
turing machines with common input alphabet and a given string x. Is
there a particular step in which the two machines will write the same
symbol on the tape?
is it undecidable? can somebody give an idea on how can we reduce
this
problem to an undecidable problem?

Well *surely* it must be undecidable. You have not only one but
*two* Turing machines that can be arbitrarily messy. And *one* messy
Turing machine is usually enough to make a problem undecidable,
isn't it. I'm absolutely convinced that there are really simple M_1
for which this problem remains undecidable...

Harri H.

.



Relevant Pages

  • Re: Epistemology 201: The Science of Science
    ... infinite sets, based on subsets. ... Each Turing machine can be described by a finite string. ... so clearly there cannot be more Turing machines than strings. ... There are not more rationals than Turing machines, ...
    (sci.math)
  • Re: Epistemology 201: The Science of Science
    ... infinite sets, based on subsets. ... Each Turing machine can be described by a finite string. ... so clearly there cannot be more Turing machines than strings. ... There are not more rationals than Turing machines, ...
    (sci.cognitive)
  • Re: Epistemology 201: The Science of Science
    ... infinite sets, based on subsets. ... Each Turing machine can be described by a finite string. ... so clearly there cannot be more Turing machines than strings. ... There are not more rationals than Turing machines, ...
    (sci.physics)
  • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory?
    ... String B: "String B will never be proven to constitute a true, ... We're talking about Turing Machines. ... > erased paper tape is absurd. ... > Read Only Memory ...
    (sci.logic)
  • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory?
    ... String B: "String B will never be proven to constitute a true, ... We're talking about Turing Machines. ... > erased paper tape is absurd. ... > Read Only Memory ...
    (comp.theory)