Написать формулу для функции , вычисляемой нормальным алгоритмом Проверить работу алгоритма над некоторым набором значений аргументов.

Условие:

Написать формулу для функции $y=f\left(x_{1}, x_{2}, x_{3}\right)$ , вычисляемой нормальным алгоритмом $ \left{

\begin{array}{c} \alpha 11 \rightarrow \beta \\ \alpha 1 \rightarrow \gamma \\ \beta 1 \rightarrow \beta \\ \beta * \rightarrow \beta \\ \beta \rightarrow .1 \\ \gamma 1 \rightarrow 1 \gamma \\ \gamma * \rightarrow \gamma \\ \gamma \rightarrow .11 \\ \rightarrow \alpha \end{array}

Проверить работу алгоритма над некоторым набором значений аргументов.

Начинаем с состояния α.
Переход α11 → β: если у нас есть 11, мы переходим в состояние β.
Переход α1 → γ: если у нас есть 1, мы переходим в состояние γ.
Переход β1 → β: если у нас есть 1 в состоянии β, остаемся в β.
Переход β* → β: если у нас есть любое количество символов в состоянии β, остаемся в β.
Переход β → .1: из состояния β мы можем перейти к .1.
Переход γ1 → 1γ: если у нас есть 1 в состоянии γ, мы переходим к 1γ.
Переход γ* → γ: если у нас есть любое количество символов в состоянии γ, остаемся в γ.
Переход γ → .11: из состояния γ мы можем перейти к .11.
П...