It is a type of finite automata in which for each input symbol, there is one unique transition leading to a new state.