Автомат Мили может быть задан в виде

Пусть автомат не является ОБПИК-автоматом,, , тогда

Если для заданного ЛА существует такое натуральное число , что знания начального отрезка длины слова w достаточно для однозначного определения первого символа слова независимо от входной последовательности и начального состояния ЛА, то называют ЛА

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

Если автомат задан в виде ориентированного графа, у которого начальной является вершина , то входному слову в графе автомата будет соответствовать

Если характеристические матрицы и , БС являются верхними (нижними) треугольными, где - число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины

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

Для того чтобы у ЛА существовал подавтомат ОБПИ , где и - непустые собственные подмножества множеств входных и выходных каналов ЛА соответственно, необходимо и достаточно, чтобы

При построении диагностического дерева автомата автомата с множеством допустимых начальных состояний вершина -го уровня становится листом, если

При построении установочного дерева автомата автомата с множеством допустимых начальных состояний вершина -го уровня становится листом, если

Если для ЛА , у которого характеристическая матрица невырожденная, существует хотя бы одна УП длины , то длина его входной установочной последовательности может быть равна