Введение

Цель работы - выполнить исследование и логическое проектирование конечного частично определённого автомата по индивидуальным данным.

Конечный автомат при двоичном кодировании его алфавитов есть структурный автомат. В практике проектирования автоматов встречаются случаи, когда функции переходов и/или выходов не определены для некоторых значений символов входного алфавита. В этом случае говорят, что автомат недетерминированный или частично определенный. При описании таких автоматов неопределенные позиции таблиц помечаются символом "*". Модель современной вычислительной машины представляет структурный автомат, использующий композицию операционного и управляющего автоматов.

В данной работе реализован конечный частично определённый автомат. В качестве элементов двоичной задержки (или элементов памяти) будем использовать триггеры.

Логическое проектирование автомата - это составление логических функций выходов и функций переходов.

Основными этапами логического проектирования конечного автомата являются:

1) кодирование алфавитов;

2) выбор комбинационных автоматов;

3) выбор элементов двоичной задержки;

4) формирование функций выхода и переходов;

5) построение логической схемы структурного автомата.

Конечным этапом логического проектирования конечного автомата будет трассировка.