Учебник по теории автоматов

Automata Theory- это раздел информатики, который занимается проектированием абстрактных самодвижущихся вычислительных устройств, которые автоматически выполняют заданную последовательность операций. Автомат с конечным числом состояний называетсяFinite Automaton. Это краткое и лаконичное руководство, которое знакомит с фундаментальными концепциями конечных автоматов, регулярных языков и автоматов выталкивания, прежде чем перейти к машинам Тьюринга и разрешимости.

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

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