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

 

Где 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>