Инициальный автомат - Большая Энциклопедия Нефти и Газа, статья, страница 2
Единственное, о чем я прошу - дайте мне шанс убедиться, что деньги не могут сделать меня счастливым. Законы Мерфи (еще...)

Инициальный автомат

Cтраница 2


В заключение параграфа отметим, что для задания инициальных автоматов и их функционирования могут, быть использованы также так называемые канонические уравнения.  [16]

Обратно, пусть ( Т, s0) - инициальный автомат, преобразующий х в у.  [17]

Пусть А - произвольный ( вообще говоря, частичный) инициальный автомат, ф - индуцируемое им отображение.  [18]

Нетрудно видеть, что эквивалентность относительно класса интерпретаций сводится к эквивалентности относительно класса инициальных автоматов.  [19]

Если выделено начальное состояние SQ, то пару ( Г, s0) называют инициальным автоматом. Часто мы будем обозначать одной буквой Т инициальный автомат ( а не автомат без выделенного начального состояния), если не будет необходимости явно указывать выделенное состояние.  [20]

Получаемое соответствие ф между допустимыми входными словами р и соответствующими им выходными словами q называется ( алфавитным) отображением, индуцируемым рассматриваемым инициальным автоматом А.  [21]

Множество SN называется также сверхсобытием, представимым инициальным автоматом 3 ( 9 с помощью набора N. Инициальный автомат, рассмотрение которого осуществляется с точки зрения его поведения - Ill, называют автоматом-сверхакцептором.  [22]

Через фд обозначим ( частичное) автоматное отображение, индуцируемое состоянием а автомата. Если А - инициальный автомат, то ФА - отображение, индуцируемое начальным состоянием. ФА отождествляется с подмножеством множества FX X FY - прямого произведения двух свободных полугрупп.  [23]

24 Табличное задание автомата. [24]

Следовательно, с каждым инициальным автоматом связана функция, определенная на множестве слов входного алфавита и принимающая значения на множестве слов выходного алфавита. Эту функцию называют поведением инициального автомата. Два инициальных автомата назовем эквивалентными, если они имеют одинаковое поведение. Это означает эквивалентность любых моделей, интерпретирующих одно физическое устройство.  [25]

Если выделено начальное состояние SQ, то пару ( Г, s0) называют инициальным автоматом. Часто мы будем обозначать одной буквой Т инициальный автомат ( а не автомат без выделенного начального состояния), если не будет необходимости явно указывать выделенное состояние.  [26]

Инициальный автомат 9tg нарывается автоматом приведенного вида, если 9t есть автомат приведенного вида, причем ЭДд - инициально связный. Как несложнее следствие теоремы 2.8 получаем, что в классе всех инициальных автоматов, неотличимых от заданного инициального автомата, имеется единственный с точностью до изоморфизма автомат приведенного вида.  [27]

Анализ рис. 1.29 показывает, что М состоит из всех слов в алфавите О, 1, не содержащих идущих подряд двух нулей. Пусть 9t - автоматМура, диаграмма которого приведена на рис. 1.30. Построим такой инициальный автомат 5В - г, что при взаимодействии автомата & у с любым инициальным автоматом 9lef; fe l 2 3 4, начиная с некоторого момента на выходе автомата SI / начинают появляться только единицы.  [28]

Инициальный автомат 9tg нарывается автоматом приведенного вида, если 9t есть автомат приведенного вида, причем ЭДд - инициально связный. Как несложнее следствие теоремы 2.8 получаем, что в классе всех инициальных автоматов, неотличимых от заданного инициального автомата, имеется единственный с точностью до изоморфизма автомат приведенного вида.  [29]

Анализ рис. 1.29 показывает, что М состоит из всех слов в алфавите О, 1, не содержащих идущих подряд двух нулей. Пусть 9t - автоматМура, диаграмма которого приведена на рис. 1.30. Построим такой инициальный автомат 5В - г, что при взаимодействии автомата & у с любым инициальным автоматом 9lef; fe l 2 3 4, начиная с некоторого момента на выходе автомата SI / начинают появляться только единицы.  [30]



Страницы:      1    2    3