Text this: Aplicabilidad de la Teoría de Autómatas en el Modelamiento del Protocolo FTP