Математическая энциклопедия - эксперименты с автоматами

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

При помощи Э. с а. можно искать подходы к решению следующих задач.

1) Известно, что автомат находится в одном из состояний, наз. начальным. Требуется определить это состояние автомата.

2) Построение эксперимента, переводящего автомат из любого состояния в нек-рое наперед заданное (установочная задача).

3) Проверка автомата на исправность. Путем эксперимента требуется узнать, правильно ли функционирует заданный автомат.

4) Диагностика автомата. Требуется узнать не только то, исправен ли автомат, но также и то, какая именно неисправность имеет место.

5) Задача распознавания автомата из заданного класса (расшифровка). Известно, что лчерный ящик

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985