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

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

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

Продолжите утверждение. Каждой комбинации из N(A) символов, являющихся проекциями реакций автомата A по выходным каналам с номерами 1,...,\mu, однозначно соответствует искомая проекция

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