Введение в теорию конечных автоматов

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