User talk:Krauss
From Wikipedia, the free encyclopedia
Contents |
[edit] Your English
Is great apart from the few spelling mistakes. Don't worry about requesting that somebody checks it on the page. Make all of your changes and then post to the talk page and ask for somebody to check your changes. Keep up the good work. --GraemeL (talk) 17:36, 11 April 2006 (UTC)
[edit] Shiny thing!
 |
The Original Barnstar | |
| For working to improve several internet related articles by adding good prose rather than just making minor tweaks. --GraemeL (talk) 02:22, 20 June 2006 (UTC) |
Don't think all of those good edits can go unnoticed. --GraemeL (talk) 02:22, 20 June 2006 (UTC)
[edit] Copy of Shepherdson-Sturgis sent to xkraussinode@yahoo.com
I hope the paper gets to you. If not reply here. It is a very good paper -- esp. Appendix A.wvbaileyWvbailey 18:50, 26 October 2006 (UTC)
You should have received a bunch of papers -- Minsky, Post, Lambek, Melzak. If not let me know. wvbaileyWvbailey 17:01, 28 October 2006 (UTC)
Yes, all the papers, thanks a lot! -- Krauss, octuber 2006.
[edit] Turing machine article and wvbailey
At this time, I have completed my contributions to this article. Is there more is to say? If you have ideas, let me know. wvbaileyWvbailey 03:47, 30 October 2006 (UTC)
- Thanks... and sorry not collaborating, I will do this next year... now have time only for Template system/Web template. -- Krauss
[edit] More copies to kraussinode
I have sent you .pdf copies of the following:
- exerpt from text Boolos-Burgess-Jeffrey (2002) -- their use of the "abacus machine"
- exerpt from text Minsky (1967) -- brief but useful, his "program" (counter) machine model
- Cook-Reckhow (1973) -- famous RAM paper, more or less defines the RAM but is derived from Hartmanis and I suspect also from Melzak (1961) (with attribution)
- Hartmanis (1971) -- RASP
- Elgot-Robinson (1964) -- 1st paper to define RASP
I have the famous paper of Schonhage but this needs to be scanned and it is not particularly interesting excepting for how he atomized his RAM1 model to RAM0, ending up with a model that has no parameters at all (excepting maybe the goto); he also specifically uses a true "index" register "n". His models are very specific to his "storage modification machine."
Excepting the Germans (Kaphengst, Hermes, etc) this should be all the "foundational" papers. The other interesting paper is van Emde Boas which categorizes all the types of machines (I have followed his pattern). If you want to see it let me know. I will have to scan it.
These papers form quite a library, don't they? ... If we were to publish them in a "source book" we would need to permission from their publishers. And we need the Germans and Rozsa Peter, translated. I also have very lucky find -- an exerpt from the mimeographed lecture notes of Martin Davis (1973-4) that names and defines the Post-Turing machine model. wvbaileyWvbailey 17:04, 31 October 2006 (UTC)
