En aquest  treball es tracten  dos problemes: la  reducció
d'automates finits  i  la  inferència  de  llenguatges regulars
i les  relacions existents entre ells.

Despres  de la  introducció,  al segon  capítol  es fa  un
repas dels conceptes i  proposicions bàsiques de  la teoria de
llenguatges, així com es fixa la notació  utilitzada al
treball. Esta tasca, relacionada amb la inferència gramatical,
es objectiu del segon capítol, on també es  descriu l'estat
de l'art. Al quart capítol es  discuteixen els problemes de
minimalització i reducció d'autòmats finits i es demostra el
primer dels resultats centrals d'aquesta tesi, la existència
d'una cota en el  tamany dels autòmates finits irreducibles  que
accepten un determinat llenguatge regular. En  este capítol
també s'introdueix els conceptes de irreducibilitat i
concisió relativa. Al cinqué capítol es discuteix i
amplia els conceptes de xarxa d'autòmates cocients  i
completitut estructural i  es defineix  el concepte  de
universalitat estructural.   Com a resultat d'aquest estudi es
presenta  el segon resultat central de la tesi, on es demostra que
qualsevol algorisme de fusió  d'estats que  obtinga com  a
resultat un  autòmata finit irreducible compatible amb les dades
d'entrada, identifica en el lìmit la classe dels llenguatges
regulars, sempe que es respecten certes regles, que en tot  cas no
son molt restrictives. Al capítol sisé s'introdueix el
concepte de subautòmata  asociat a una paraula en un llenguatge
i a partir d'ell es descriu una família d'algorismes amb la
particularitat de que la complexitat temporal es funció
bàsicament de la longitut  de les paraules de  la mostra
d'entrada, al mateix temps que  son pràcticament  lineals
respecte al nombre de cadenes de  la mostra. Al septim  capitol  es
descriuen alguns algorismes de  les families descrites anteriorment
i es fa una experimentació que compara amb èxit el seu
comportament respecte els algorismes d'inferencia mes relevants. Per
concluir, el capítol octau es fa una enumeració de les
conclusions d'aques treball i es plategen futures linies de treball.