ВВЕДЕНИЕ. Теория автоматов наиболее тесно связана с теорией алгоритмов [3]

Теория автоматов наиболее тесно связана с теорией алгоритмов [3]. Это объясняется тем, что автомат преобразует дискретную информацию по шагам в дискретные моменты времени. На входе и выходе автомата могут быть символы, слова или выражения какого-либо языка, представляющие собой элемент дискретной информации. Преобразование элементов входной информации в элементы выходной информации выполняется по заданному алгоритму. Эти преобразования возможны с помощью технических и/или программных средств. С помощью средств вычислительной техники создаются сложные программно-технические комплексы для автоматизации рабочих мест на производстве и в управлении, для автоматизации деятельности в организациях и на предприятиях, для автоматизации научных исследований и конструирования [7,8].

Единый подход в описании технических и программных средств определил понятие "автомат", как математическую модель [3] системы, обеспечивающей прием, хранение и обработку информации. Ограничение числа параметров математической модели определило новое понятие - "конечный автомат". Раздел науки, посвященный изучению таких математических моделей, называют теорией автоматов. Большинство задач теории конечных автоматов включает в себя задачи анализа поведения автомата при обработке информации и синтеза его структуры для заданного алгоритма.

При анализе автомата важным является исследование способов описания математической модели. На этом этапе изучают поведение автомата при различных возмущающих воздействиях со стороны окружающей среды и минимизируют число состояний автомата для работы по заданному алгоритму. Этот этап называют также макроподходом, а автомат – абстрактным [3]. Для точной постановки задач анализа автомата и диагностирования его поведения используют алгебру автоматных языков [6].

При синтезе автоматов важным является исследование способов построения сложных автоматов. На этом этапе создают сеть из элементарных автоматов, эквивалентную абстрактному автомату. Этот этап называют микроподходом, а автомат – структурным [3]. Для точной постановки задач синтеза структуры автомата широко используют алгебру логики [5,7.8].

Настоящее учебное пособие посвящено изучению абстрактного и структурного конечного автомата. Для закрепления теоретического материала каждый студент выполняет индивидуальное задание по логическому проектированию дискретного устройства [7,8].

Дата добавления: 2015-07-26; просмотров: 156; Нарушение авторских прав

Мы поможем в написании ваших работ!