# Minimal Turing Machine implementation / Von Neumann UC [closed]

I've written a small python program which implements a Turing Machine with a finite tape. It has a tape, a head, a state register and a set of transfer functions ("the program"). The difference to a TM is that when the head reaches the end of the tape, a separate state is triggered: 'end of tape left' and 'end of tape right'.

Now, my experimental idea is to have the transition table in memory so that I have a more "complete" virtual machine, along the lines of a Von Neumann Universal Constructor (not quite the same). What is the minimal program that can run other programs in memory? I'm interested in a different structure of a minimal computing machine, where the transition table is closer to a machine instruction set and can be hold in memory. This will certainly bloat the structure - I'm fine with that. This would be something like a minimal machine which implements an operating system.

-

## closed as off topic by KavehNov 7 '12 at 14:57

Questions on Theoretical Computer Science Stack Exchange are expected to relate to research-level theoretical computer science within the scope defined by the community. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about reopening questions here.If this question can be reworded to fit the rules in the help center, please edit the question.

cstheory is for research level questions (see FAQ ), cs.stackexchange.com should be the correct site for questions like this. And answering to it, I exposed myself to (deserverd) downvotes, too :-) :-), but a few days ago I finally understood the details of Rogozinh's 2 states 18 symbols UTM ... so I zestful answered to your question. –  Marzio De Biasi Oct 19 '12 at 19:06
Welcome to cstheory, a Q&A site for research-level questions in theoretical computer science (TCS). Your question does not appear to be a research-level question in TCS. Please see the FAQ for more information on what is meant by this. The questions seems more suitable for Computer Science which has a broader scope. –  Kaveh Oct 19 '12 at 19:22
downvotes without comments are just as annoying as out-of-scope questions without reading FAQ. –  Artem Kaznatcheev Oct 28 '12 at 0:27
Now I remember why I left academia. Who defines what research is? No thanks. Probably a good reason why research and the internet often don't connect. Goodbye. –  RParadox Oct 28 '12 at 0:30

Look at the " $U$s " in the first table of the paper "Small Turing Machines ...". For example, 2 states and 18 symbols are enough to build a Turing Machine that can execute an operating system (if you augment it with an adequate I/O mechanism :) ...