Teoría de la computación : lenguajes, autómatas, gramáticas
Ilustraciones y tablas
- Autores:
-
De Castro Korgi, Rodrigo
- Tipo de recurso:
- Book
- Fecha de publicación:
- 2004
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/53477
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/53477
http://bdigital.unal.edu.co/48060/
https://repositorio.unal.edu.co/
- Palabra clave:
- 0 Generalidades / Computer science, information and general works
Lenguajes de programación
Teoría de las máquinas
Máquinas de Turing
Computación
Lenguajes
Autómatas
- Rights
- openAccess
- License
- Atribución-NoComercial-SinDerivadas 4.0 Internacional
| id |
UNACIONAL2_de6cd81033313219ecc69bbaf93424ff |
|---|---|
| oai_identifier_str |
oai:repositorio.unal.edu.co:unal/53477 |
| network_acronym_str |
UNACIONAL2 |
| network_name_str |
Universidad Nacional de Colombia |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
Teoría de la computación : lenguajes, autómatas, gramáticas |
| title |
Teoría de la computación : lenguajes, autómatas, gramáticas |
| spellingShingle |
Teoría de la computación : lenguajes, autómatas, gramáticas 0 Generalidades / Computer science, information and general works Lenguajes de programación Teoría de las máquinas Máquinas de Turing Computación Lenguajes Autómatas |
| title_short |
Teoría de la computación : lenguajes, autómatas, gramáticas |
| title_full |
Teoría de la computación : lenguajes, autómatas, gramáticas |
| title_fullStr |
Teoría de la computación : lenguajes, autómatas, gramáticas |
| title_full_unstemmed |
Teoría de la computación : lenguajes, autómatas, gramáticas |
| title_sort |
Teoría de la computación : lenguajes, autómatas, gramáticas |
| dc.creator.fl_str_mv |
De Castro Korgi, Rodrigo |
| dc.contributor.author.spa.fl_str_mv |
De Castro Korgi, Rodrigo |
| dc.subject.ddc.spa.fl_str_mv |
0 Generalidades / Computer science, information and general works |
| topic |
0 Generalidades / Computer science, information and general works Lenguajes de programación Teoría de las máquinas Máquinas de Turing Computación Lenguajes Autómatas |
| dc.subject.lemb.spa.fl_str_mv |
Lenguajes de programación Teoría de las máquinas Máquinas de Turing |
| dc.subject.proposal.spa.fl_str_mv |
Computación Lenguajes Autómatas |
| description |
Ilustraciones y tablas |
| publishDate |
2004 |
| dc.date.issued.spa.fl_str_mv |
2004 |
| dc.date.accessioned.spa.fl_str_mv |
2019-06-29T17:28:15Z |
| dc.date.available.spa.fl_str_mv |
2019-06-29T17:28:15Z |
| dc.type.spa.fl_str_mv |
Libro |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/book |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_2f33 |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/LIB |
| format |
http://purl.org/coar/resource_type/c_2f33 |
| status_str |
acceptedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/53477 |
| dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/48060/ |
| dc.identifier.instname.spa.fl_str_mv |
Universidad Nacional de Colombia |
| dc.identifier.reponame.spa.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
| dc.identifier.repourl.spa.fl_str_mv |
https://repositorio.unal.edu.co/ |
| url |
https://repositorio.unal.edu.co/handle/unal/53477 http://bdigital.unal.edu.co/48060/ https://repositorio.unal.edu.co/ |
| identifier_str_mv |
Universidad Nacional de Colombia Repositorio Institucional Universidad Nacional de Colombia |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Editorial UN Editorial UN |
| dc.relation.ispartofseries.spa.fl_str_mv |
Notas de clase |
| dc.relation.citationedition.spa.fl_str_mv |
Primera edición |
| dc.relation.references.none.fl_str_mv |
A. AHO, R. SETHI & J. ULLMAN, Compilers: Principles, Techniques and Tools, Addison-Wesley, 1986. F. BECKMAN, Mathematical Foundations 01 Programming, Addison Wesley, 1980. N. CUTLAND, Computability, Cambridge University Press, 1980. P. CARCÍA, T. PÉREZ, J. Ruíz, et al., Teoría de Autómatas y Lenguajes Formales, Alfaomega, 2001. J. HOPCROFT & J. ULLMAN, Formal Languages and their Relation to Automata, Addison-Wesley, 1969. J. HOPCROFT & J. ULLMAN, Introduction to Automata Theory, Language and Computation, Addison-Wesley, 1979. J. HOPCROFT, R. MOTWANI & J. ULLMAN, Introducción a la Teoría de Autómatas, Lenguajes y Computación, Segunda Edición, Pearson Educación, 2002. D. KELLEY, Teoría de Autómatas y Lenguajes Formales, Prentice Hall, 1995. H. LEWIS & C. PAPADIMITRIOU, Elements 01 the Theory 01 Computation, Prentice Hall, 1981. C. RÉVÉSZ, Introduction to Formal Language Theory, Dover Publications, 1991. J. SAVAGE, Models 01 Computation, Addison-Wesley, 2000. T. SUDKAMP, Languages and Machines, Addison-Wesley, 1988. R. SOMMERHALDER & S. VAN WESTRHENEN, The Theory 01 Computability, Addison-Wesley, 1988. |
| dc.rights.spa.fl_str_mv |
Derechos Reservados al Autor, 2004 |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial-SinDerivadas 4.0 Internacional |
| dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/licenses/by-nc-nd/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Atribución-NoComercial-SinDerivadas 4.0 Internacional Derechos Reservados al Autor, 2004 http://creativecommons.org/licenses/by-nc-nd/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.spa.fl_str_mv |
223 páginas |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad Nacional de Colombia |
| dc.publisher.department.spa.fl_str_mv |
Sede Bogotá |
| dc.publisher.place.spa.fl_str_mv |
Bogotá, Colombia |
| institution |
Universidad Nacional de Colombia |
| bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/53477/1/Notasdeclaseteoriadelacomputacion.PDF https://repositorio.unal.edu.co/bitstream/unal/53477/2/Notasdeclaseteoriadelacomputacion.PDF.jpg |
| bitstream.checksum.fl_str_mv |
9ca05fe04321f7aa4e6577d26ce0e5d2 ac5c04f45de37288d89ba44ae50cff46 |
| 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_ |
1814090153208053760 |
| spelling |
Atribución-NoComercial-SinDerivadas 4.0 InternacionalDerechos Reservados al Autor, 2004http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2De Castro Korgi, Rodrigob4ba55af-9b85-4504-96cd-595217b2947d3002019-06-29T17:28:15Z2019-06-29T17:28:15Z2004https://repositorio.unal.edu.co/handle/unal/53477http://bdigital.unal.edu.co/48060/Universidad Nacional de ColombiaRepositorio Institucional Universidad Nacional de Colombiahttps://repositorio.unal.edu.co/Ilustraciones y tablasEl libro está escrito tanto para estudiantes de matemáticas -quienes, es de suponer, tienen más experiencia con razonamientos abstractos y demostraciones- como para estudiantes de ingeniería. Es el profesor quien debe establecer el tono del curso, enfatizando ya sea el rigor matemático o una presentación más intuitiva y práctica. Los resultados están presentados en forma de teoremas, corolarios y lemas, con sus respectivas demostraciones; éstas pueden omitirse, si así lo estima el profesor. En los cursos dirigidos a estudiantes de ingeniería de sistemas, el énfasis debe residir -tanto por parte del profesor como por parte del estudiante--- en los ejemplos y ejercicios prácticos; hay que resaltar más el significado de los enunciados que sus demostraciones formales. El libro contiene gran cantidad de ejemplos y problemas resueltos, con aplicaciones o ilustraciones directas de la teoría. Como prerrequisito, es imprescindible que el estudiante haya tomado al menos un curso de matemáticas discretas en el que se haya familiarizado con las nociones básicas y la notación de la teoría intuitiva de conjuntos, grafos, inducción matemática y lógica elemental. La experiencia previa en programación es muy útil pero, de ninguna manera, necesaria. El material se presenta en secciones relativamente cortas, lo que permite alguna flexibilidad en la selección de los tópicos del curso. Así, si el tiempo disponible no es holgado, o no es posible avanzar con la velocidad suficiente, podrían suprimirse las secciones demarcadas con el símbolo. Casi todas las secciones poseen ejercicios, de variada dificultad; los más difíciles están precedidos de un símbolo de admiración! y podrían ser considerados opcionales. Es responsabilidad del estudiante resolver los ejercicios que sean asignados por el profesor. La única manera de aprender y asimilar las ideas y técnicas presentadas en la clase es trabajar seria y completamente los ejercicios. (Texto tomado de la fuente).Primera edición223 páginasapplication/pdfspaUniversidad Nacional de ColombiaSede BogotáBogotá, ColombiaUniversidad Nacional de Colombia Editorial UNEditorial UNNotas de clasePrimera ediciónA. AHO, R. SETHI & J. ULLMAN, Compilers: Principles, Techniques and Tools, Addison-Wesley, 1986.F. BECKMAN, Mathematical Foundations 01 Programming, Addison Wesley, 1980.N. CUTLAND, Computability, Cambridge University Press, 1980.P. CARCÍA, T. PÉREZ, J. Ruíz, et al., Teoría de Autómatas y Lenguajes Formales, Alfaomega, 2001.J. HOPCROFT & J. ULLMAN, Formal Languages and their Relation to Automata, Addison-Wesley, 1969.J. HOPCROFT & J. ULLMAN, Introduction to Automata Theory, Language and Computation, Addison-Wesley, 1979.J. HOPCROFT, R. MOTWANI & J. ULLMAN, Introducción a la Teoría de Autómatas, Lenguajes y Computación, Segunda Edición, Pearson Educación, 2002.D. KELLEY, Teoría de Autómatas y Lenguajes Formales, Prentice Hall, 1995.H. LEWIS & C. PAPADIMITRIOU, Elements 01 the Theory 01 Computation, Prentice Hall, 1981.C. RÉVÉSZ, Introduction to Formal Language Theory, Dover Publications, 1991.J. SAVAGE, Models 01 Computation, Addison-Wesley, 2000.T. SUDKAMP, Languages and Machines, Addison-Wesley, 1988.R. SOMMERHALDER & S. VAN WESTRHENEN, The Theory 01 Computability, Addison-Wesley, 1988.0 Generalidades / Computer science, information and general worksLenguajes de programaciónTeoría de las máquinasMáquinas de TuringComputaciónLenguajesAutómatasTeoría de la computación : lenguajes, autómatas, gramáticasLibroinfo:eu-repo/semantics/bookinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_2f33Texthttp://purl.org/redcol/resource_type/LIBGeneralORIGINALNotasdeclaseteoriadelacomputacion.PDFLibro del Departamento de Matemáticasapplication/pdf6970973https://repositorio.unal.edu.co/bitstream/unal/53477/1/Notasdeclaseteoriadelacomputacion.PDF9ca05fe04321f7aa4e6577d26ce0e5d2MD51THUMBNAILNotasdeclaseteoriadelacomputacion.PDF.jpgNotasdeclaseteoriadelacomputacion.PDF.jpgGenerated Thumbnailimage/jpeg6732https://repositorio.unal.edu.co/bitstream/unal/53477/2/Notasdeclaseteoriadelacomputacion.PDF.jpgac5c04f45de37288d89ba44ae50cff46MD52unal/53477oai:repositorio.unal.edu.co:unal/534772024-03-07 23:08:21.484Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |