4.1.3 Can you answer these questions?

4.1.3.1 How to specify halting states when using function TuringMachine?
4.1.3.2 Can I use Mathematica for the symbolic verification of cases of a general problem?
4.1.3.3 Antialiasing in Plot3D doesn't work well
4.1.3.1 How to specify halting states when using function TuringMachine?

http://mathematica.stackexchange.com/questions/134628/how-to-specify-halting-states-when-using-function-turingmachine

 
The function TuringMachine generates a list that represents the evolution of a Turing Machine given a rule that specifies its behaviour (i.e. set of instructions). 
 
For example, the following rule  ...
 
- asked by Lili 4votes
4.1.3.2 Can I use Mathematica for the symbolic verification of cases of a general problem?

http://mathematica.stackexchange.com/questions/134515/can-i-use-mathematica-for-the-symbolic-verification-of-cases-of-a-general-proble

 
I have never used Mathematica before, but I am contemplating using it to solve this problem for a simple case of $f(x) = C, 1<x<2$ and $= 0$. I can easily get $\hat{f}$, the Fourier transform of  ...
 
- asked by Rajesh Dachiraju 2votes
4.1.3.3 Antialiasing in Plot3D doesn't work well

http://mathematica.stackexchange.com/questions/134612/antialiasing-in-plot3d-doesnt-work-well

 
My code is very simple: 
 
Style[Plot3D[Cos[x + 0*y], {x, -10, 10}, {y, -2, 42}, Mesh -> None], 
Antialiasing -> True] 
 
 
There seems some ripple on the top of the figure and I doubt whether it  ...
 
- asked by user29114 1vote