Recognizing Automaton

The Finite Control (a program with finite memory) reads symbols from the input tape one at a time, storing things in the Auxiliary Memory.

The recognizer answers Yes or No to the question ``Is the input string a member of the language?''