Re: questions on turing machine problem
- From: Julio Di Egidio <julio@xxxxxxxxxxxxx>
- Date: Tue, 06 May 2008 13:14:53 EDT
[I'm not an expert in the field, so anyone please feel free to drop in and correct eventual mistakes/misunderstandings.]
polymedes 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?
Let's assume that by "let M_1 and M_2 two turing machines" you imply that you know which list of transformation rules they are respectively made of.
Now, if you think of the 1-symbol alphabet, to which AFAIK any machine can be reduced to work upon, of course they'll write the *same* symbol as soon as they write *any* symbol.
So the problem becomes, will they write any symbol at all? That, I suppose, can be easily ascertained by confronting the rules to the given initial string.
BTW, I was given this kind of puzzle at a recent job interview, with a couple of rules and an initial string. That string was not producible at all given the rules, so I could straight answer "no", but my examiner was not happy at all. I still wander why...
is it undecidable? can somebody give an idea on how
can we reduce this
problem to an undecidable problem?
As I have tried to show, it should not be undecidable, but I might be wrong.
2) Can somebody direct me to an analysis of the Post
Correspondence
Problem when the alphabet of the dominos is a
1-character alphabet?
Sorry, I am not able to answer that.
Hope this can be a starting point.
-LV
.
- Follow-Ups:
- Re: questions on turing machine problem
- From: Tim Little
- Re: questions on turing machine problem
- References:
- questions on turing machine problem
- From: polymedes
- questions on turing machine problem
- Prev by Date: Re: Rotations in R^3
- Next by Date: Re: x = [x] !!!!
- Previous by thread: questions on turing machine problem
- Next by thread: Re: questions on turing machine problem
- Index(es):
Relevant Pages
|