Теория автоматов — отрасль компьютерных наук, которая занимается разработкой абстрактных самоходных вычислительных устройств, которые автоматически выполняют заданную последовательность операций. Автомат с конечным числом состояний называется конечным автоматом . Это краткое и краткое руководство, которое знакомит с основными понятиями конечных автоматов, регулярных языков и автоматов Pushdown, прежде чем переходить к машинам Тьюринга и Decidability.

Аудитория

Этот учебник был подготовлен для студентов, получающих степень в любой области информационных технологий или компьютерных наук. Он пытается помочь студентам понять основные понятия, связанные с теорией автоматов.

Предпосылки

Этот урок имеет хороший баланс между теорией и математической строгостью. Предполагается, что читатели имеют базовое понимание дискретных математических структур.