->Even you do many modifications for a Turing machine the powers will remain same as before modifying it.
some of the modifications of TM are
1.stay option 2.infinite tape 3.offline Turing machine 4.multitape,multihead, multidimensional Turing machine 5.jumping turing machine 7.non erasing turing machine etc....
even you do modifications like this the power of it remains the same.
(By all these statements we can say S1 is false)
->only for PDA the NPDA>DPDA for all other machines their non-determinism is equal to determinism.
Answer: opt B(S2 only)