Show simple item record

Optimización de autómatas finitos

dc.contributor.advisorBahamonde Rionda, Antonio 
dc.contributor.authorRodríguez Vela, María del Camino 
dc.contributor.otherMatemáticas, Departamento de 
dc.date.accessioned2013-04-30T10:48:53Z
dc.date.available2013-04-30T10:48:53Z
dc.date.issued1990
dc.identifier.otherhttps://www.educacion.gob.es/teseo/mostrarRef.do?ref=77373
dc.identifier.urihttp://hdl.handle.net/10651/13642
dc.description.abstractEl problema que motiva este trabajo es el de estructurar la información contenida en una base de conocimientos mediante un grafo de herencias así como el desarrollo de algoritmos que resuelvan, con una complejidad razonable, los problemas de construcción y optimización del sistema de representación que se defina. El modelo que se propone en esta tesis se enmarca en los que aprovechan la estructura jerárquica del conocimiento para representarlo como un grafo de conceptos. Esta jerarquía induce una ordenación entre las propiedades de los conceptos, la cual permite utilizar los autómatas finitos no determinísticos (AFNDS) como sistema formal de especificación del modelo, más concretamente la subfamilia de AFNDS que proceden de relaciones de orden. Así el problema de la construcción efectiva y una primera aproximación del algoritmo de optimización se estudian en un contexto formal de autómatas. Para ello se desarrollan en una primera parte de la memoria las herramientas necesarias para el diseño de un algoritmo de orden n4 para la minimización scoop de estos autómatas, el cual se adapta en una segunda parte al caso en que los autómatas se utilizan para representar el conocimiento.
dc.language.isospa
dc.titleOptimización de autómatas finitos
dc.typeinfo:eu-repo/semantics/doctoralThesis
dc.type.dcmitext
dc.local.notesTesis 1990-140
dc.relation.tesispublicadahttp://absysweb.cpd.uniovi.es/cgi-bin/abnetopac?TITN=450736


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Tesis [6597]
    Tesis doctorales leídas en la Universidad de Oviedo

Show simple item record