Теория автоматов - Синтез управляющего автомата устройства, реализующего алгоритм выполнения деления с восстановлением остатка
Данная работа по курсу ИОВС посвящается синтезу абстрактного автомата, реализуемого на базе автомата Мили.
Теория автоматов - это раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами. С определенной точки зрения такими преобразователями являются как реальные устройства (вычислительные машины, автоматы, живые организмы и т.д.), так и абстрактные системы (например, формальная система, аксиоматические теории и т.д.). Наиболее тесно теория автоматов связана с теорией алгоритмов. Большинство задач теории автоматов - общие для основных видов управляющих систем. К ним относятся задачи анализа и синтеза автоматов, задачи полноты, минимизации, эквивалентных преобразований автоматов и другие. Теория автоматов находит применение как и в других областях математики, так и в решении практических задач.