Оптимальные синхронизирующие эксперименты с линейными автоматами

Предложен метод решения задачи о построении оптимальной синхронизирующей последовательности для стационарных линейных автоматов над конечными полями. Показано, что рассматриваемая задача всегда может быть сведена к задаче целочисленного линейного программирования. Изложенный метод иллюстрируется на примере.