Is there a Turing machine that can evaluate arithmetic operations with brackets containing
* operations that are applied to integer numbers?
For example, it should be able to evaluate the following expression given as a sequence of symbols:
7*((3 + 11)*2 -23) + 2*(2 - 4)
I know that such a Turing machine should exists. However, I cannot find any implementation of such a machine.