Text this: Identificación del comportamiento no observable de un DES emulado a partir de un generador de lenguaje