Свойства систем определяющих соотношений для автоматов

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