Non-Deterministic Turing Machine

It is a type of machine where multiple moves can be taken from one state based on the current input.