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

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

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

Если из ориентированного конечного графа G(A) удалить все вершины вида \{s,s\} вместе с инцидентными им дугами, если последние, в свою очередь, инцидентны только вершинам такого же вида, а также изолированные вершины, то полученный в результате такого удаления ориентированный конечный граф называется

(Отметьте один правильный вариант ответа.)
Варианты ответа
проверочным графом автомата A(Верный ответ)
удаленным графом автомата A
аналитическим графом автомата A
Похожие вопросы
Пусть для каждой вершины U' разветвления удалось получить оценку снизу для лучшего решения из множества U': f(U')\le min_{\hat u \in U'}W(\hat u). Функция fявляется
Обобщенной диаграммой переходов для \mu-ЛА над полем GF(p) называется ориентированный граф, содержащий
Если для любого t свободного ЛА \tilde A \bar s=\bar s(t) то состояние \bar s называется состоянием равновесия, если для любого
Если для заданного ЛА A существует такое натуральное число N(A), что знания начального отрезка длины N(A) слова w достаточно для однозначного определения первого символа слова p независимо от входной последовательности p и начального состояния ЛА, то A называют ЛА
Если характеристические матрицы A и F_i, i=\overline{1,l}, БС \tilde A являются верхними (нижними) треугольными, где n- число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины
При построении синхронизирующего дерева автомата A с множеством S_{0} допустимых начальных состояний вершина S k-го уровня становится листом, если
Если для ЛА \tilde A в любой момент времени t выход y(t) однозначно определяется входом в этот же момент и предыдущими \mu входами и \mu выходами,то ЛА
Интервал вида a=[\underline a, \bar a], где \underline a = \bar a интерпретируется как элемент поля GF(p)называется
Если состояние s не является концом ни одной дуги автомата A, т.е s не достижимо ни из одного состояния, отличного от s, то оно называется
Если м - компенсирующая система минимальной длины для (a,b)-обхода графа G(S,U), то