A deterministic finite automat. The output depends on the input and the state of the automat.
» Glossary for the complete course