О решении систем автоматных уравнений

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