Este documento describe cómo usar una aplicación para transformar un Autómata Finito no Determinista (AFN) a un Autómata Finito Determinista (AFD). Se toma un ejemplo de AFN y se ingresa su definición formal en la aplicación. Luego, al hacer clic en el botón "Transformar", la aplicación genera la definición formal equivalente del AFD, completando así la conversión del AFN original a un AFD.