Cтраница 2
Множество состояний разделено на семь непересекающихся подмножеств. С каждым из них ассоциируется некоторая функция; ( дизъюнктивное) объединение этих функций есть функция переходов автомата. [16]
Основные понятия, используемые для получения регулярного языка по конечному автомату, применимы и к сетям Петри для образования теории языков сетей Петри. В дополнение к сети Петри, определяемой множеством позиций и переходов ( которые приблизительно соответствуют множеству состояний и функции переходов автомата), необходимо определить начальное состояние, алфавит и множество заключительных состояний. Задание этого для сети Петри может привести к различным классам языков сетей Петри. Рассмотрим их по порядку. [17]
Реализуя эту схему в виде композиции заданных логических элементов ( что возможно благодаря предположению о функциональной полноте системы логических элементов), мы осуществим, очевидно, все те переходы, которые предусматриваются функцией переходов автомата А. [18]
Адрес очередной микрокоманды можно назначить без учета значений Z ( t) и U ( t), если эта микрокоманда задает функцию перехода автомата в состоянии, имеющем единственный переход, не зависящий от значения входных сигналов. Если очередная микрокоманда должна задавать функцию перехода автомата в состоянии, имеющем различные переходы, зависящие от значений входных сигналов, то ее адрес должен зависеть от входных сигналов. [19]
Последовательности, порождаемые автоматом и описывающие его функционирование, могут быть бесконечными или обрываться после конечного числа шагов. Следует различать две причины, по которым функционирование автомата обрывается. Первая состоит в том, что одна из функций, определяющих функционирование автомата ( функция переходов или выходов автомата Л, преобразование / А или функция ц), не определена, а автомат в этот момент не находится в заключительном состоянии. Вторая причина - автомат А попадает в заключительное состояние. Поскольку после перехода автомата А в заключительное состояние его функционирование прекращается, будем считать, что функция переходов автомата А для этого состояния не определена. [20]
На рис. 2.51 приведена структура автомата Мили. Тт), состояние которых в каждый момент времени определяет внутреннее состояние в целом всего автомата. Под действием входных сигналов автомат должен переходить из одного состояния в другое. Для изменения состояния автомата необходимо переключить один или несколько триггеров, определяющих состояние автомата. Переключение триггеров осуществляется подачей сигналов q, на соответствующие входы. Так как новое состояние автомата определяется тем, каково было его прежнее состояние и каков набор входных сигналов, то и сигналы q, являются функциями выходных сигналов триггеров ( 6ь Q. Для формирования сигналов qf управления триггерами используется комбинационное устройство. Структура этого устройства определяет функцию переходов автомата. [21]