Аннотация:В данной работе исследуется поведение коллектива из двух конечных автоматов на целочисленной прямой. Доказывается, что последовательности состояний и выходных символов автоматов при таком движении – периодические.
Далее поведение коллектива из двух конечных автоматов исследуются через целочисленные функции, которые могут быть определенным образом вычислены такими автоматами. а-расстановкой коллектива автоматов (где а - целое) будем называть такую расстановку автоматов, что автомат W2 находится на a клеток правее в случае а>0 и на а клеток левее W1 в случае а<0. Говорим, что коллектив автоматов вычисляет целочисленную функцию f(x), если для любого целого x, этот коллектив, стартуя из x-расстановки остановится в f(x)-расстановке.
Показано, что множество функций вычисляемых коллективами из 2 автоматов на прямой, есть функции вида f(x)=c (константа), f(x)=x+c и f(x)=x (mod d).