
6.9.1 Теория автоматов
условие: Запись \( a:=b(\bmod n) \) означает, что нужно положить число \( a \) равным остатку от деления числа \( b \) на число \( n \). Через \( [a] \) обозначается целая часть числа \( a \), т.е. наибольшее целое число, не превосходящее \( a \). Число \( n \) задано в таблице. Рассмотрим автомат \( A=(S, X, Y, \delta, \lambda) \), где \( S=\left\{s_{0}, s_{1}, \ldots, s_{n-1}\right\}, X=\left\{x_{0}, x_{1}, x_{2}\right\}, Y=\left\{y_{0}, y_{1}\right\} \), а функции \( \delta: S \times X \rightarrow S \) и \( \lambda: S \times X \rightarrow