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

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

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

Если состояние s не является концом ни одной дуги автомата A, т.е s не достижимо ни из одного состояния, отличного от s, то оно называется

(Отметьте один правильный вариант ответа.)
Варианты ответа
замкнутым
тупиковым
переходящим(Верный ответ)
Похожие вопросы
Если для заданного ЛА A существует такое натуральное число N(A), что знания начального отрезка длины N(A) слова w достаточно для однозначного определения первого символа слова p независимо от входной последовательности p и начального состояния ЛА, то A называют ЛА
При построении установочного дерева автомата автомата A с множеством S_{0} допустимых начальных состояний вершина S k-го уровня становится листом, если
При построении диагностического дерева автомата автомата A с множеством S_{0} допустимых начальных состояний вершина S k-го уровня становится листом, если
При построении синхронизирующего дерева автомата A с множеством S_{0} допустимых начальных состояний вершина S k-го уровня становится листом, если
Под \sigma-множеством автомата A понимается любая конечная совокупность состояний A, не все из которых обязательно различны. Если все элементы \sigma-множества совпадают друг с другом, то оно именуется
Вершину s графа G(S,U), у которой \Delta (s)>0 называется
Если характеристические матрицы A и F_i, i=\overline{1,l}, БС \tilde A являются верхними (нижними) треугольными, где n- число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины
Если в проверочном графе ОБПИК-автомата A длина максимального пути, начальная дуга которого является выделенной, равна t, то порядок ОБПИК-автомата N(A) равен
Если выполняется \sigma(s, \bar p)=\sigma(t, \bar q)pr_{1,...,\mu}\lambda(s, \bar p)=pr_{1,...,\mu}\lambda(t, \bar q) \to pr_{1,...,\nu}\bar p \ne pr_{1,...,\nu}\bar q, то пара состояний s и t называется
Продолжите утверждение. Каждой комбинации из N(A) символов, являющихся проекциями реакций автомата A по выходным каналам с номерами 1,...,\mu, однозначно соответствует искомая проекция