Замедленные диагностические эксперименты с конечными автоматами

Рассматриваются эксперименты по распознаванию состояний конечного автомата при некоторых ограничениях на используемое множество входных последовательностей и на различимость выходных последовательностей. Ограничения выбраны таким образом, чтобы подобные эксперименты были воспроизводимы на асинхронных дискретных устройствах.