
I've done all the regular HW projects in the book and that's excellent etc. But, last
night, I watched a lecture on Alan Turing and Turing Machines. That got me thinking.
It would be really cool to use the TECS hardware simulation system to implement:
 Finitestate machine
 Pushdown automaton
 Turing machine
 Universal Turing machine(UTM)
I know that an UTM is a horrible way to build a computer and that the computer, build
in TECS, is Turing complete but that's beside the point ;)
The idea is to make these theoretical constructs more real, for the student, by actually
implementing them.
Questions:
 Have anybody done something along these lines?
 Is it possible within the constrains of the hardware simulator?
