Структура представлений определенно-диагностируемых автоматов

Изучаются так называемые представления автоматов, частными случаями которых являются контрольные эксперименты, анкетные языки и близкие к ним понятия. Найден критерий “быть представлением” для определенно-диагностируемых порядка I автоматов, описаны все минимальные представления для таких автоматов.