Эксперименты с нестационарными билинейными автоматами

Для нестационарных билинейных автоматов над полем $GF(p)$ доказаны критерии существования синхронизирующих, установочных и диагностических последовательностей, сформулированные в терминах характеристических матриц автоматов. Для синхронизирующих последовательностей предложен метод их построения.

Статья представлена к публикации членом редколлегии: П. Ю. Чеботарев