Este documento presenta dos componentes de máquinas de estados finitos (M1 y M2) y realiza algunas actividades con ellas. M1 y M2 se definen como tuplas que especifican sus conjuntos de estados, alfabetos, estados iniciales y finales. Luego, se muestra un diagrama del autómata M1 y su función de transición. Finalmente, se evalúan cadenas de entrada para cada máquina y se concluye que dos autómatas son equivalentes si reconocen el mismo lenguaje regular.