Cтраница 1
Заключительные состояния могут варьироваться в зависимости от необходимости. [1]
Заключительные состояния отмечены на рис. 4 ( а) косой чертой с индексом 1, обозначение, которое является обычным в конечных автоматах. Скобочная запись дерева такая же, как в разд. Условия TRANS и INTRANS проверяют, является ли глагол переходным ( транзитивным) или непереходным соответственно, и условие S-TRANS проверяет наличие таких глаголов, как believe ( верить) и want ( хотеть), каждый из которых может иметь объектом вставленное номинализованное предложение. Признаки PPRT и UNTENSED соответственно указывают на форму причастия прошедшего времени ( past participle) и на глагольные формы, не выражающие времени. [2]
Старые заключительные состояния больше не считаются заключительными. [3]
Определение заключительных состояний сети Петри оказывает наибольшее влияние на язык сети Петри. Были предложены четыре основных определения множества заключительных состояний сети Петри. Каждое из них образует свой язык сети Петри. [4]
В заключительном состоянии на левом колышке не остается дисков. [5]
При достижении заключительного состояния любым из преобразователей происходит останов всего процесса вычислений. Таким образом, происходят только вызовы преобразователей о передачей информации. [6]
Имея два заключительных состояния - tyo и до, машина распознает, напротив какой ячейки находится считывающая головка, и в зависимости от этого переходит в первое или второе заключительное состояние. [7]
Автомат с заключительным состоянием назовем дискретным преобразователем информации, если для него задана интерпретация. При этом будем говорить, что дискретный преобразователь действует на множестве В. [8]
Вовсе не все заключительное состояние целесообразно считать решением. Так, при прекращении вычислений на бумаге не все написанное является решением: подавляющую часть обычно составляют промежуточные выкладки. Точно так же при остановке вычислительной машины только сравнительно небольшая часть полного состояния машины является решением решаемой на машине задачи. [9]
F - множество заключительных состояний; СИГНАЛ - функция формирования сигналов, СИГНАЛ: М - X; R - множество правил функционирования преобразователя; - структура данных; М - значение памяти. [10]
Sm не содержит заключительного состояния автомата А. Таким образом, М допускает код выражения R тогда и только тогда, когда дополнение множества, представленного выражением Rt непусто. [11]
Так как Q4 - заключительное состояние, из него выходит дуга POP, указывающая, что рассмотренная цепочка может быть полным предложением в соответствии с грамматикой, но поскольку предложение еще не кончилось, то выбрать эту альтернативу нельзя. Теперь действие ( SETR VP ( BUILDQ ( VP ( V) V)) берет фрагмент структуры ( VP ( V)) и подставляет текущее значение вместо вхождения во фрагмент, а также заменяет вхождение знака содержимым указанного регистра V. Полученная структура ( VP ( V like) ( NP Mary)) помещается в регистр VP, а действие ( ТО Q5) вызывает переход к состоянию Q5 и выход за конец входной цепочки. [12]
Пусть q - некоторое заключительное состояние машины Т, а q - какое-либо состояние машины Т, не являющееся заключительным. [13]
Условие отсутствия е-переходов из заключительных состояний называют d - допустимостью. Пусть а - новый символ, не принадлежащий X. R & - Тогда Rr ( R / Re) ( J Ra - Автомат А считывает а, как только А совершает е-переход. [14]
Об оптимизации автоматов с заключительным состоянием без циклов. [15]