База ответов ИНТУИТ

Теория экспериментов с конечными автоматами

<<- Назад к вопросам

Длина кратчайшего простого безусловного эксперимента, позволяющего распознавать функцию выходов сильно связного неинициального автомата A=(S,X,Y,\delta,\lambda), где |S|=n,|X|=m , не превышает величины

(Отметьте один правильный вариант ответа.)
Варианты ответа
n^2 + \frac{1}{2}(m-1)n^2(n+1)+ \frac{1}{2}n(2n-1)(n-1)(Верный ответ)
n^2 + \frac{1}{2}(m-1)n^2(n+1)
n^2
Похожие вопросы
Для сильно связного графа G(S,U), |S|=n степени m и диаметра d имеет место неравенство
При построении диагностического дерева автомата автомата A с множеством S_{0} допустимых начальных состояний вершина S k-го уровня становится листом, если
При построении установочного дерева автомата автомата A с множеством S_{0} допустимых начальных состояний вершина S k-го уровня становится листом, если
Если в проверочном графе ОБПИК-автомата A длина максимального пути, начальная дуга которого является выделенной, равна t, то порядок ОБПИК-автомата N(A) равен
При построении синхронизирующего дерева автомата A с множеством S_{0} допустимых начальных состояний вершина S k-го уровня становится листом, если
Если \forall s_{j_1},s_{j_2} \in S\lambda (s_{j_1},p)=\lambda (s_{j_2},p) \to \delta (s_{j_1},p)=\delta (s_{j_2},p), то входная последовательность p=x_{i_1},x_{i_2},...,x_{i_n} является
Если у \mu-ЛА размерности n ранг характеристической матрицы C равен n, то для него существует обобщенная УП, длина которой равна
Если состояние s не является концом ни одной дуги автомата A, т.е s не достижимо ни из одного состояния, отличного от s, то оно называется
Под \sigma-множеством автомата A понимается любая конечная совокупность состояний A, не все из которых обязательно различны. Если все элементы \sigma-множества совпадают друг с другом, то оно именуется
Продолжите утверждение. Каждой комбинации из N(A) символов, являющихся проекциями реакций автомата A по выходным каналам с номерами 1,...,\mu, однозначно соответствует искомая проекция