Análisis técnico del funcionamiento de los AFDs. Explicamos su estructura formal basada en estados, símbolos de entrada y funciones de transición, fundamentales en el diseño de compiladores y lógica computacional.