//Thus For Any Nondeterministic Turing Machine…