True or false. Justify your answer briefly.

If M$($S$,$q$)$ contains more than one states, then S is a nondeterministic program.

If $\backslash$sigma $\{$p$\}$ S $\{$q$\},$ then $\backslash$sigma $$p$.$

If $\backslash$sigma $\_$tot $\{$p$\}$ S $\{$q$\},$ then $\backslash$sigma $$p$.$

If $\backslash$sigma $\{$p$\}$ S $\{$q$\},$ then M$($S$,\backslash$sigma $)$q$.$

If $\backslash$sigma $$p and $\backslash$sigma $\{$p$\}$ S $\{$q$\},$ then M$($S$,\backslash$sigma $)-$q$.$