It is a type of finite automata in which for each input symbol, there can be multiple transitions leading to new states.