Finite-state machine that accepts and rejects strings of symbols and only produces a unique computation (or run) of the automaton for each input string
type d'automate fini associant une unique sortie à chaque entrée possible (fr)
Automat (de)
finite-state machine that accepts and rejects strings of symbols and only produces a unique computation (or run) of the automaton for each input string (en)