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