Визначення і властивості автомата. Автомати Мілі та Мура.

Теория автоматов имеет широкие возможности применения : Проектирование систем логического управления; Обработка текстов и построение компиляторов; Спецификация и верификация систем взаимодействующих процессов; Языки описания документов и объектно- ориентированных программ; Оптимизация логических программ др.

Основные понятия и определения Простейший преобразователь информации Автоматный преобразователь информации

Автомат, описывающий поведение " умного " отца Автомат имеет: Четыре состояния: Два входных сигнала - оценки Выходные сигналы:

Пример программной реализации С каждым состоянием связана операция NEXT, выполняющая функцию ожидания очередного события прихода нового входного сигнала и чтения его в некоторый стандартный буфер Х, а также последующий анализ того, какой это сигнал.

Автомат, описывающий поведение студента и преподавателей.

Структурная схема электронных Регистры отображают либо время, либо дату, либо секундомер в зависимости от "Управления". Устройство управления построено на основе модели конечного автомата. Конечный автомат реагирует на нажатия кнопки "а" на корпусе переходом в состояние "Установка минут", в котором событие нажатия кнопки "b" вызовет увеличение числа. Устройство управления построено на основе модели конечного автомата

Автомат устройства управления электронных часов

Абстрактный автомат - это математическая модель, описывающая техническое устройство совокупностью входных, выходных сигналов и состояний, кроме того: Определение автомата То есть для описания автомата нужно использовать шестёрку вида:

Автоматы Мили и Мура В зависимости от способа определения выходного сигнала в автоматах различают: 1. Автомат первого рода ( Автомат Мили ) 2. Автомат второго рода ( Автомат Мура) В автоматах Мили выходные сигналы являются функцией входных сигналов и состояния памяти. В автоматах Мура выходные сигналы определяются только состоянием памяти.

Табличная форма представления автоматов Автомат Мили Таблица переходов Таблица выходов

Табличная форма представления автоматов Автомат Мили Автомат называется частично заданным, если он определен не для всех пар переходов. Для частично заданного автомата на месте отсутствующего перехода ставится прочерк как в таблице переходов, так и в таблице выходов. Таблица переходов

Табличная форма представления автоматов Автомат Мура Табличная форма задания автомата Мура представляет собой совмещенную, в которой выходной сигнал, соответствующий состоянию a m в автомате Мура размещен в верхней строке над соответствующими состоянием, а остальная информация аналогична представлению автомата Мили.

Графовая форма задания автоматов

Примеры описания автомата Мили и автомата Мура