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

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 comp...

Full description

Autores:
Ramírez Ramírez, José Luis
Tipo de recurso:
Fecha de publicación:
2011
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/7709
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/7709
http://bdigital.unal.edu.co/4161/
Palabra clave:
51 Matemáticas / Mathematics
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
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_f79ae37a2d25efa8de711f2e040cddb5
oai_identifier_str oai:repositorio.unal.edu.co:unal/7709
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Castro Korgi, Rodrigo deRamírez Ramírez, José Luisaf3c7a8c-c567-4843-b5fa-cca89617a96f3002019-06-24T16:54:29Z2019-06-24T16:54:29Z2011-02https://repositorio.unal.edu.co/handle/unal/7709http://bdigital.unal.edu.co/4161/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.Maestríaapplication/pdfspaUniversidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de MatemáticasDepartamento de MatemáticasRamí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.51 Matemáticas / MathematicsEcuaciones sobre lenguajesFunciones polinomiales sobre lenguajesTeoremas de punto fijoRetículos completosRetículos booleanosLema de ArdenTeorema de Ginsburg-Rice / Languages equationsLanguages polynomial functionsFixed-point theoremsComplete latticesBoolean latticesArden’s lemmaGinsburg-Rice theoremTeoremas de punto fijo para la solución de ecuaciones sobre lenguajesTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/acceptedVersionTexthttp://purl.org/redcol/resource_type/TMORIGINAL830290.2011.pdfapplication/pdf387399https://repositorio.unal.edu.co/bitstream/unal/7709/1/830290.2011.pdfe22274dc6d5c442fadbd89aedb5d5b8fMD51THUMBNAIL830290.2011.pdf.jpg830290.2011.pdf.jpgGenerated Thumbnailimage/jpeg4783https://repositorio.unal.edu.co/bitstream/unal/7709/2/830290.2011.pdf.jpga320bc8f295733326de4a4c7e0fb4e77MD52unal/7709oai:repositorio.unal.edu.co:unal/77092023-08-28 23:05:17.679Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Teoremas de punto fijo para la solución de ecuaciones sobre lenguajes
title Teoremas de punto fijo para la solución de ecuaciones sobre lenguajes
spellingShingle Teoremas de punto fijo para la solución de ecuaciones sobre lenguajes
51 Matemáticas / Mathematics
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
title_short Teoremas de punto fijo para la solución de ecuaciones sobre lenguajes
title_full Teoremas de punto fijo para la solución de ecuaciones sobre lenguajes
title_fullStr Teoremas de punto fijo para la solución de ecuaciones sobre lenguajes
title_full_unstemmed Teoremas de punto fijo para la solución de ecuaciones sobre lenguajes
title_sort Teoremas de punto fijo para la solución de ecuaciones sobre lenguajes
dc.creator.fl_str_mv Ramírez Ramírez, José Luis
dc.contributor.author.spa.fl_str_mv Ramírez Ramírez, José Luis
dc.contributor.spa.fl_str_mv Castro Korgi, Rodrigo de
dc.subject.ddc.spa.fl_str_mv 51 Matemáticas / Mathematics
topic 51 Matemáticas / Mathematics
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
dc.subject.proposal.spa.fl_str_mv 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
description 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.
publishDate 2011
dc.date.issued.spa.fl_str_mv 2011-02
dc.date.accessioned.spa.fl_str_mv 2019-06-24T16:54:29Z
dc.date.available.spa.fl_str_mv 2019-06-24T16:54:29Z
dc.type.spa.fl_str_mv Trabajo de grado - Maestría
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/masterThesis
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/acceptedVersion
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TM
status_str acceptedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/7709
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/4161/
url https://repositorio.unal.edu.co/handle/unal/7709
http://bdigital.unal.edu.co/4161/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas
Departamento de Matemáticas
dc.relation.references.spa.fl_str_mv 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.
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/7709/1/830290.2011.pdf
https://repositorio.unal.edu.co/bitstream/unal/7709/2/830290.2011.pdf.jpg
bitstream.checksum.fl_str_mv e22274dc6d5c442fadbd89aedb5d5b8f
a320bc8f295733326de4a4c7e0fb4e77
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089601140129792