Definition 22 Turing machines encoding \(E(.)\), [1]}.
Following Definition REF , any Turing machine, \(T\) , can be fully described by a set of states \(Q\) , the initial state \(q_0\) , and a mapping from \(((Q\backslash F)\times A)\)  to \((Q\times S)\) .

Определение 22 Кодирование машин Тьюринга \(E(.)\), [1].

Согласно Определению REF, любую машину Тьюринга \(T\) можно полностью описать набором состояний \(Q\), начальным состоянием \(q_0\) и отображением от \(((Q\backslash F)\times A)\) до \((Q\times S)\).