Задачи анализа и синтеза

Задачи анализа состоят в предсказании поведения определенной заранее заданной системы.

Задачи синтеза состоят в построении системы функций по заранее заданному алгоритму.

Автомат имеет следующие составляющие:

1. Входные переменные, которые представляют собой воздействия, генерируемые извне и влияющие на поведение исследуемой системы.

2. Выходные переменные, называемые реакцией системы, представляющие собой величины, характеризующие поведение данной системы.

Входные полюсы (входные каналы) соответствуют местам поступления входных переменных, снабжаются стрелками, направленными внутрь «черного ящика». Входные и выходные переменные с точки зрения абстрактной теории автоматов не имеют какого-либо физического смысла.

Предполагается, что любая система, представимая основной моделью, управляется некоторым синхронизирующим источником. Все переменные системы изменяются в определенные дискретные моменты времени, в которые подается синхронизирующий сигнал. Эти моменты времени называются тактами (тактовыми моментами) и обозначаются буквой tS. Тогда поведение системы в любой момент времени tS не зависит от интервала времени между tS и tS-1. Кроме того, независимой величиной, относительно которой определяются все переменные системы, является не время, а порядковый номер, связанный с тактом. Системы, удовлетворяющие вышеизложенным предположениям, называются синхронными. Асинхронные же системы, которые будут рассмотрены несколько позже, меняют свои сигналы, не привязываясь к синхронизирующему сигналу.

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

1. В устройствах первого типа набор выходных сигналов, вырабатываемых в момент времени (t+t), зависит только от набора входных сигналов, поданных в момент времени t, а не зависит от сигналов, поступивших на входы автомата в предшествующее время. Интервал t – время реакции автомата. Он остается одинаковым для исходного t при любых допустимых наборах входных сигналов. Такое однозначное и неизменное во времени соответствие между наборами входных и выходных сигналов обуславливается неизменностью внутреннего состояния автоматов и независимостью этого состояния от внешнего воздействия. Устройства такого типа называют автоматами без памяти.

2. В автоматах второго типа набор выходных сигналов, вырабатываемый в некоторый дискретный момент времени зависит не только от сигналов, поданных в тот же момент времени, но и от сигналов, поступивших ранее. Эти предшествующие внешние воздействия фиксируются в автомате путем изменения его внутреннего состояния. Таким образом, реакция данного автомата однозначно определяется поступившим набором входных сигналов и его внутренним состоянием на данный момент времени. Этими же факторами однозначно определяется и то состояние, в которое автомат перейдет.

3. Конечным автоматом называется объект, имеющий конечное число входов, конечное число внутренних состояний, работа которого носит детерминированный (от англ. - “определенный”) характер. Если конечный автомат снабдить внешней памятью и допустить ее неограниченное расширение, то такая система будет принадлежать к автоматам третьего типа, например, машина Тьюринга. Он показал, что с помощью автоматов третьего типа может быть смоделирована любая система, т.е. реализован любой алгоритм по переработке информации.