Automata Theoryé um ramo da ciência da computação que lida com o projeto de dispositivos de computação autopropelidos abstratos que seguem uma sequência predeterminada de operações automaticamente. Um autômato com um número finito de estados é chamado deFinite Automaton. Este é um tutorial breve e conciso que apresenta os conceitos fundamentais de autômatos finitos, linguagens regulares e autômatos pushdown antes de passar para máquinas de Turing e capacidade de decisão.
Este tutorial foi preparado para alunos que buscam um diploma em qualquer área relacionada à tecnologia da informação ou ciência da computação. Ele tenta ajudar os alunos a compreender os conceitos essenciais envolvidos na teoria dos autômatos.
Este tutorial tem um bom equilíbrio entre teoria e rigor matemático. Espera-se que os leitores tenham uma compreensão básica de estruturas matemáticas discretas.