Tutorial de Teoria de Autômatos

A Teoria dos Autômatos é um ramo da ciência da computação que lida com o design de dispositivos de computação autopropulsores abstratos que seguem automaticamente uma sequência predeterminada de operações. Um autômato com um número finito de estados é chamado de autômato finito . Este é um tutorial breve e conciso que apresenta os conceitos fundamentais de autômatos finitos, idiomas regulares e autômatos de empilhamento antes de passar para as máquinas de Turing e a decidibilidade.

Público

Este tutorial foi preparado para estudantes que se formaram em qualquer área de 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.

Pré-requisitos

Este tutorial tem um bom equilíbrio entre teoria e rigor matemático. Espera-se que os leitores tenham um entendimento básico de estruturas matemáticas discretas.