Autómatas arbóreos

Aguilar Rangel, Patricia

Autómatas arbóreos

dc.audience	generalPublic	es_MX
dc.contributor	Guillén Galván, Carlos
dc.contributor.advisor	GUILLEN GALVAN, CARLOS; 78563
dc.contributor.author	Aguilar Rangel, Patricia
dc.date.accessioned	2022-11-03T20:29:26Z
dc.date.available	2022-11-03T20:29:26Z
dc.date.issued	2022-04-20
dc.description.abstract	"Los Autómatas de estado finito que procesan cadenas y arboles enraizados de símbolos apoyan una metodología parámetro fijo tratable (PFT) importante. Esta metodología es basada en la siguiente estrategia algorítmica de dos pasos; el primer paso consiste en calcular una representación para el grafo de ancho arbóreo acotado, como un árbol binario etiquetado, denominado árbol de análisis, para el objeto. En el segundo, se utiliza un autómata arbóreo de estado finito para reconocer con precisión los arboles de análisis que representan los objetos (por ejemplo, grafos de ancho arbóreo acotado) que tienen la propiedad de interés, por ejemplo, tener un ciclo Hamiltoniano. El presente documento abarca desde el estudio y presentación de los autómatas en su versión clásica hasta su versión arbórea, así como los resultados principales que nos conducen a los Teoremas de Courcelle y Bounlander".	es_MX
dc.folio	20220428122252-6321-T	es_MX
dc.format	pdf	es_MX
dc.identificator	1	es_MX
dc.identifier.uri	https://hdl.handle.net/20.500.12371/16853
dc.language.iso	spa	es_MX
dc.matricula.creator	220470112	es_MX
dc.publisher	Benemérita Universidad Autónoma de Puebla	es_MX
dc.rights.acces	openAccess	es_MX
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0	es_MX
dc.subject.classification	CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA	es_MX
dc.subject.lcc	Teoría de grafos--Programas de computadora	es_MX
dc.subject.lcc	Hipergrafos	es_MX
dc.subject.lcc	Árboles (Teoría de grafos)--Procesamiento de datos	es_MX
dc.subject.lcc	Análisis matemático	es_MX
dc.subject.lcc	Simulación por computadora	es_MX
dc.thesis.career	Maestría en Ciencias (Matemáticas)	es_MX
dc.thesis.degreediscipline	Área de Ingeniería y Ciencias Exactas	es_MX
dc.thesis.degreegrantor	Facultad de Ciencias Físico Matemáticas	es_MX
dc.thesis.degreetoobtain	Maestro (a) en Ciencias (Matemáticas)	es_MX
dc.title	Autómatas arbóreos	es_MX
dc.type	Tesis de maestría	es_MX
dc.type.conacyt	masterThesis	es_MX
dc.type.degree	Maestría	es_MX