COMP 4270 Teoría de Autómatas
Análisis de los conceptos de autómata, autómata finito y memoria finita, tablas de transición, modelos de Meally y Moore, máquinas de conexión fuerte, diagramas reducidos, componentes de diagramas de estado y autómatas infinitos. Aplicación de funciones calculables mediante Turing. Discusión del funcionamiento de máquinas programables, programas, máquinas universales para una computadora programable y el Sistema de Post para el manejo de símbolos.