Автомат называется оптимальным, если
Линейный автомат называется автоматом БПИ, если
Линейный автомат называется неизбыточным по выходам, если
Задачи синхронизации и установки автоматов - это разновидности задачи управления дискретной системой (ДС), которая в общем виде формулируется следующим образом:
Один автомат будем называть копией другого, если
Задача преобразования произвольного автомата в ОБПИК-автомат порядка 1 осуществляется путем
Автомат Мили
может быть задан в виде
Если из любого состояния автомата достижимы все его состояния, то такой автомат называется
Для автоматов, заданных графом переходов, задача синхронизации и установки автоматов сводится к задаче
Для того чтобы задача распознавания функции выходов неинициального автомата (с точностью до эквивалентности) была разрешима, необходимо и достаточно, чтобы автомат был