Неотличимость конечных автоматов в стационарной среде наблюдения

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