Take the 2-minute tour ×
Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It's 100% free, no registration required.

Turing completness is being typically proved via reduction to already proved Turing-complete machine.

Can the same be obtained by showing, that the machine in question is capable of generating arbitrary output – if proper input is given?

share|improve this question
1  
What is "arbitrary output" supposed to mean? –  Raphael Nov 1 '12 at 14:18
    
agree question in current form is too vague or not well defined –  vzn Nov 1 '12 at 16:58
add comment

1 Answer

up vote 3 down vote accepted

Turing-completeness means that the machine model in question can compute everything that is computable. That means that for every computable function $f$, there is a corresponding program for your model which behaves "like" $f$, where I put the quotes since the input and output may look differently.

Showing that the machine can generate arbitrary output is hardly enough - consider the machine model which executes only one program, copying its input to its output.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.