Finite State Machine Vs Turing Machine Definition