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