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