Este documento describe cómo transformar un autómata finito no determinista (AFN) a un autómata finito determinista (AFD). Presenta un ejemplo de un AFN y los pasos para transformarlo a un AFD, incluyendo ingresar la definición formal del AFN, hacer clic en un botón para transformarlo, y obtener la definición formal resultante del AFD.