Контрольная работа: Математические основы теории систем
Система имеет решение x 1 = 1; x 2 = 2; x 3 = 0; x 4 = 2.
Это значит, что исследуемая маркировка достижима и в последовательности срабатываний переход t 1 срабатывает один раз, переходы t 2 и t 4 - по два раза, переход t 3 не срабатывает.
Задача 4. Элементы математической логики и теории автоматов
Конечный автомат задан графом, определенным в задаче 1. Вершины графа отождествляются с состояниями автомата таким образом, что множество состояний Q= {q 1 ,q 2 ,… , qn }. Переход автомата из одного состояния в другое осуществляется под воздействием множества входных сигналов X = {x 1 ,x 2 ,x 3 ,x 4 }. Переходы определяются законом отображения Г вершин графа, причем каждому переходу соответствует только одна из букв множества X . При задании графа эти буквы расставить произвольно.
Автомат позволяет вырабатывать выходные сигналы Y = {y 1 ,y 2 ,y 3 }:
y 1 - переход из состояния qi в состояние qi (петля);
y 2