It is a type of finite automata that generates an output or action based on the current state and the input symbol.