http://roble.intecca.uned.es/tematres/lem/http://roble.intecca.uned.es/tematres/lem/?tema=10183Formalización (Lingüística) http://roble.intecca.uned.es/tematres/lem/?tema=10183 Lingüística matemática RT http://roble.intecca.uned.es/tematres/lem/?tema=10183 Lenguajes formales RT http://roble.intecca.uned.es/tematres/lem/?tema=10183 Gramática generativa RT http://roble.intecca.uned.es/tematres/lem/?tema=10183 Lenguaje y lógica RT http://roble.intecca.uned.es/tematres/lem/?tema=10183 Análisis lingüístico RT