Este documento presenta dos partes de un examen sustitutivo. La primera parte contiene preguntas sobre un autómata finito no determinista (AFND) y sus componentes. La segunda parte pide determinar los componentes de otro AFND, construir su diagrama de transición equivalente (DTE) y autómata finito determinista (AFD) equivalente. También solicita diseñar un modelo matemático de una máquina expendedora de refrescos.