Машина Тьюринга: различия между версиями

(Отмена правки 84015, сделанной участником 37.215.55.228 (обс.))
 
Где S — конечное множество состояний автомата, X, Y — конечные входной и выходной алфавиты соответственно, из которых формируются строки, считываемые и выдаваемые автоматом, <math>\delta : S \times X \rightarrow S</math> — функция переходов, <math>\lambda : S \times X \rightarrow Y</math> — функция выходов.
АбстракныйАбстрактный автомат с выделенным начальным состоянием называется инициальным автоматом. Таким образом абстрактный автомат определяет семейство инициальных автоматов
 
<math>~(s_i, A), s_i \in S</math>
Анонимный участник