Universal turing machine examples

I'm looking for a well explained implementation of a universal turing machine, using a binary alphabet. Particularly, I'm looking for an action table for such a UTM with explanations. Can anyone point me in the right direction?

Solution

You may find these links of interest:

A page from MIT of a UTM implemented in Scheme
A contest for the implementation of the shortest UTM
A turing machine written in C
Turing machine written in Haskell
Java implementation of a UTM

I hope you find these links sufficient to put you in the right direction.

When did C allow casting constants and variables to struct for assignment?
Why in C can I initialize more values than the size of an array?
What Values of Variables x and y Will Produce Incorrect Results When Testing for Overflow After Subtraction of x-y in the Following Program?
How to write a general-type queue library in c?
Which gcc and g++ version support which standard of c and c++?
How to dereference a member in a struct whose definition is not visible?
How to name a type in a meaningful way?
In this case, how to achieve modularity and information hiding at the same time?
What are Vectors and < > in C?
Using c to create a file and write+read to it, what went wrong?
Why does 1.0/100.0 == 0.1/10.0 give True?
How to organize the receive msg and user current input in C network such that it's clean
Using inclusive scan syntax in OpenMP in the C language
Unable to understand context in book "OOP in C" by Axel Schreiner
variable-length array in struct with TI compiler in C (socket programming)
A faster way to test 32bpp DDBs for a valid Alpha channel
How can I compile the zephyr example-application as a freestanding application?
Why does my forked process sometimes overwrite data in a file?
_Generic in C needs typecasting?
Declaring/defining an unused variable changes the output from an unrelated variable
How to use gdb to explore the stack/heap?
How can I read an input string of unknown length?
Confused by difference between expression inside if and expression outside if
Fast Arc Cos algorithm?
Discrepancy of `unsigned long` size between llvm and gcc in riscv32
GCC (C) - error: 'x' redeclared as different kind of symbol
Why does GCC’s static analyser falsely warn that a pointer to an allocated memory block itself stored in an allocated memory block may leak?
c language gcc compiler *.i file #3 "" 2 what is this?
How to make clang compile to llvm IR
Hashtable implementation in C