Browsing by Author "Aguilar Rangel, Patricia"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Tesis de maestría Autómatas arbóreos(Benemérita Universidad Autónoma de Puebla, 2022-04-20) Aguilar Rangel, Patricia; GUILLEN GALVAN, CARLOS; 78563"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".