The TM has a ''finite automaton'' (FA) as one component. Let us refer to this particular FA by the name of <math>\operatorname{M}.</math> | The TM has a ''finite automaton'' (FA) as one component. Let us refer to this particular FA by the name of <math>\operatorname{M}.</math> |