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

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

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

При построении синхронизирующего дерева автомата A с множеством S_{0} допустимых начальных состояний вершина S k-го уровня становится листом, если

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа
на уровнях, предшествующих k-му, имеется такая вершина S^*, что | S^*|=1, а значение флажка вершины S больше значения флажка вершины S^*(Верный ответ)
|S|=1(Верный ответ)
она является однородной
на уровнях, предшествующих k-му, имеется такая вершина S^*, что S=S^*, но значение флажка вершины S больше значения флажка вершины S^*(Верный ответ)
Похожие вопросы
При построении установочного дерева автомата автомата A с множеством S_{0} допустимых начальных состояний вершина S k-го уровня становится листом, если
При построении диагностического дерева автомата автомата A с множеством S_{0} допустимых начальных состояний вершина S k-го уровня становится листом, если
Под \sigma-множеством автомата A понимается любая конечная совокупность состояний A, не все из которых обязательно различны. Если все элементы \sigma-множества совпадают друг с другом, то оно именуется
Если для заданного ЛА A существует такое натуральное число N(A), что знания начального отрезка длины N(A) слова w достаточно для однозначного определения первого символа слова p независимо от входной последовательности p и начального состояния ЛА, то A называют ЛА
Если характеристические матрицы A и F_i, i=\overline{1,l}, БС \tilde A являются верхними (нижними) треугольными, где n- число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины
Если состояние s не является концом ни одной дуги автомата A, т.е s не достижимо ни из одного состояния, отличного от s, то оно называется
Если в проверочном графе ОБПИК-автомата A длина максимального пути, начальная дуга которого является выделенной, равна t, то порядок ОБПИК-автомата N(A) равен
Продолжите утверждение. Каждой комбинации из N(A) символов, являющихся проекциями реакций автомата A по выходным каналам с номерами 1,...,\mu, однозначно соответствует искомая проекция
Если для \mu-ЛА размерности n существует хотя бы одна обобщенная УП длины k, то для этого автомата обобщенными УП являются любые входные последовательности длины
Для того чтобы у ЛА A существовал подавтомат ОБПИ A(I,J), где I и J - непустые собственные подмножества множеств входных и выходных каналов ЛА соответственно, необходимо и достаточно, чтобы