Representation of Turing machine to prove Cook-Levin theorem
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
How would one construct function which is representation of some Turing machine (which is in one state at each step) which can be used to prove the Cook-Levin theorem?
It is written on Wikipedia in section proof, if I understood It well, but I am curious how would that function look like ? Any hint on at least how to start would be great.
turing-machines
add a comment |Â
up vote
0
down vote
favorite
How would one construct function which is representation of some Turing machine (which is in one state at each step) which can be used to prove the Cook-Levin theorem?
It is written on Wikipedia in section proof, if I understood It well, but I am curious how would that function look like ? Any hint on at least how to start would be great.
turing-machines
the thing is that I came to this while reading proof of Cook-Levin theorem on wikipedia. And I dont have idea how this function would look like ? I asked for some hint :)
– commandos2389
Jul 23 at 10:33
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
How would one construct function which is representation of some Turing machine (which is in one state at each step) which can be used to prove the Cook-Levin theorem?
It is written on Wikipedia in section proof, if I understood It well, but I am curious how would that function look like ? Any hint on at least how to start would be great.
turing-machines
How would one construct function which is representation of some Turing machine (which is in one state at each step) which can be used to prove the Cook-Levin theorem?
It is written on Wikipedia in section proof, if I understood It well, but I am curious how would that function look like ? Any hint on at least how to start would be great.
turing-machines
edited Jul 23 at 10:39
asked Jul 23 at 8:49
commandos2389
11
11
the thing is that I came to this while reading proof of Cook-Levin theorem on wikipedia. And I dont have idea how this function would look like ? I asked for some hint :)
– commandos2389
Jul 23 at 10:33
add a comment |Â
the thing is that I came to this while reading proof of Cook-Levin theorem on wikipedia. And I dont have idea how this function would look like ? I asked for some hint :)
– commandos2389
Jul 23 at 10:33
the thing is that I came to this while reading proof of Cook-Levin theorem on wikipedia. And I dont have idea how this function would look like ? I asked for some hint :)
– commandos2389
Jul 23 at 10:33
the thing is that I came to this while reading proof of Cook-Levin theorem on wikipedia. And I dont have idea how this function would look like ? I asked for some hint :)
– commandos2389
Jul 23 at 10:33
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2860145%2frepresentation-of-turing-machine-to-prove-cook-levin-theorem%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
the thing is that I came to this while reading proof of Cook-Levin theorem on wikipedia. And I dont have idea how this function would look like ? I asked for some hint :)
– commandos2389
Jul 23 at 10:33