I am a final year engineering student. Me and my friends have decided that our final year project would be “Simulation of Turing Machine using Template Metaprogramming”.
I understand what “Turing Machine” and “Template Metaprogramming” are but my question is why the simulation would be tedious if we design the Turing Machine without TMP? What advantages can we get if we us TMP and what would we miss/gain if we don’t using TMP but use a conventional approach?
Any suggestions as to how we shall proceed?
The primary reason why one would implement Turing machines using template metaprogramming is not because it’s easier than in “ordinary” C++ (it isn’t), but to demonstrate that C++ templates are Turing complete.