Методы распознавания и идентификации конечных автоматов по статистическим характеристикам выходных и входных последовательностей

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