A type of non-deterministic automaton, mentioned as an example of other non-deterministic machines.
Computerphile