1.2 Приведение оператора к автоматному виду

Для того чтобы оператор преобразовался к автоматному виду, необходимо выполнение трех условий:

1. Любым двум одинаковым начальным отрезкам входных слов должны соответствовать одинаковые начальные отрезки выходных слов;

2. Длина входного слова должна равняться длине выходного слова;

3. Последний символ должен возвращать автомат в начальное состояние.

Данный оператор уже выровнен, так как длина каждого из входных слов равна длине соответствующего выходного слова. Каждому входному слову здесь сопоставляются не более одного выходного слова, поэтому оператор однозначен. Однако он не удовлетворяет условию полноты.

Таким образом, автоматный вид оператора примет, следующий вид:

Таблица 2. Автоматный вид