Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Teoremas de punto fijo para la solución de ecuaciones sobre lenguajes

Ramírez Ramírez, José Luis (2011) Teoremas de punto fijo para la solución de ecuaciones sobre lenguajes. Maestría thesis, Universidad Nacional de Colombia.

Texto completo

[img]
Vista previa
PDF - Versión Aceptada
Available under License Creative Commons Attribution Non-commercial No Derivatives.

387kB

Resumen

En este trabajo se aborda el estudio de teoremas de punto fijo sobre retículos completos con el fin de ser aplicados a una clase de funciones entre lenguajes, llamadas funciones polinomiales. Estas funciones permiten caracterizar los lenguajes regulares y los independientes de contexto como una componente del menor punto fijo de una determinada función polinomial. Además, permiten solucionar algunas ecuaciones sobre lenguajes, en particular se demuestra el lema de Arden y una generalización de éste, lo cual permitirá caracterizar algunos lenguajes lineales. / Abstract. In this work we study fixed-point theorem on complete lattices to be applied to a class of functions between languages, called polynomial functions. These functions allow characterization of regular languages and context-free languages as one component of the minor fixed point of a given polynomial function. Also, would solve some languages equations, in particular proves the Arden’s lemma and a generalization of it, which will characterize some linear languages.

Tipo de documento:Tesis/trabajos de grado - Thesis (Maestría)
Colaborador / Asesor:Castro Korgi, Rodrigo de
Información adicional:Magister en Ciencias Matemáticas.
Palabras clave:Ecuaciones sobre lenguajes; Funciones polinomiales sobre lenguajes; Teoremas de punto fijo; Retículos completos; Retículos booleanos; Lema de Arden; Teorema de Ginsburg-Rice / Languages equations; Languages polynomial functions; Fixed-point theorems; Complete lattices; Boolean lattices; Arden’s lemma; Ginsburg-Rice theorem
Temática:5 Ciencias naturales y matemáticas / Science > 51 Matemáticas / Mathematics
Unidad administrativa:Sede Bogotá > Facultad de Ciencias > Departamento de Matemáticas
Código ID:4161
Enviado por : Universidad Nacional de Colombia Biblioteca Digital - Sede Bogotá
Enviado el día :19 Agosto 2011 12:38
Ultima modificación:19 Agosto 2011 12:38
Ultima modificación:19 Agosto 2011 12:38
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox