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:
- Finite-state 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
- Have anybody done something along these lines?
- Is it possible within the constrains of the hardware simulator?