Al concluir la asignatura el alumno será capaz de construir autómatas para resolver diferentes tipos de problemas y para reconocer diferentes lenguajes.