We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
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.