Here is a non-trivial example of a Turing Machine that is able to perform binary addition. What's new in this example is that it outputs a value (the answer to the addition problem) instead of simply returning yes or no.
No download links available.
