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

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