Tutorial de teoría de autómatas

Automata Theoryes una rama de la informática que se ocupa del diseño de dispositivos informáticos autopropulsados ​​abstractos que siguen una secuencia predeterminada de operaciones de forma automática. Un autómata con un número finito de estados se llamaFinite Automaton. Este es un tutorial breve y conciso que presenta los conceptos fundamentales de autómatas finitos, lenguajes regulares y autómatas pushdown antes de pasar a las máquinas de Turing y la determinación.

Este tutorial ha sido preparado para estudiantes que desean obtener un título en cualquier campo relacionado con la tecnología de la información o la informática. Intenta ayudar a los estudiantes a comprender los conceptos esenciales involucrados en la teoría de autómatas.

Este tutorial tiene un buen equilibrio entre teoría y rigor matemático. Se espera que los lectores tengan un conocimiento básico de las estructuras matemáticas discretas.