formal language theory machine assigned ' 'starting state'' set ''accepting states'' depending whether run starting starting state ends accepting state automaton said ''accept'' ' 'reject'' input sequence set words accepted automaton called ''language recognized automaton'' familiar example machine recognizing language electronic lock accepts rejects attempts enter correct code formal definition automaton automaton represented formally tuple math
Formal science Computer science Theory of computation Automata theory