Catálogo General 2023-2024

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.

Credits

3

Prerequisite

COMP 2502