Traductor de lenguajes formales en XSLT