[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-140958-es":3,"doc-seo-140958-110":31,"detail-sidebar-cat-0-es-110":96},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":21,"is_downloadable":21,"audit_status":21,"page_count":22,"language":23,"language_code":24,"site_id":25,"html_lang":24,"table_of_contents":26,"faqs":27,"seo_title":28,"seo_description":14,"update_tm":29,"read_time":30},140958,2336475401981,"Chumphorn","https://ap-avatar.wpscdn.com/avatar/22000c94efd8d5204d?x-image-process=image/resize,m_fixed,w_180,h_180&k=1786935347598174694",41,"Investigación e Informes","Fundamentos de la Ciencia de la Computación - Apuntes y Ejercicios","Apuntes de curso centrados en los fundamentos de la ciencia de la computación, con foco en lenguajes formales. El material recorre conceptos básicos, lenguajes regulares mediante expresiones regulares y autómatas finitos, y lenguajes libres del contexto con gramáticas, autómatas de pila y propiedades relacionadas. Incluye además máquinas de Turing, la tesis de Church, computabilidad y problemas indecidibles, y cierra con complejidad computacional, incluyendo clases P y NP y problemas NP-completos.","Fundamentos de la Ciencia de la Computaci􀀓on (Lenguajes Formales, Computabilidad y Complejidad)  \nApuntes y Ejercicios  \nGonzalo Navarro  \nDepartamento de Ciencias de la Computaci􀀓on Universidad de Chile  \n[gnavarro@dcc.uchile.cl](gnavarro@dcc.uchile.cl)  \n30 de octubre de 2008  \n2  \nLicencia de uso: Esta obra est􀀓a bajo una licencia de Creative Commons (ver [http://creativecommons.org/licenses/by](http://creativecommons.org/licenses/by)nc-nd/2.5/) . Esencialmente, usted puede distribuir y comunicarp􀀓ublicamente la obra, siempre que (1) d􀀓e cr􀀓edito al autor de la obra,(2) no la use para 􀀌nes comerciales, (3) no la altere, transforme, ogenere una obra derivada de ella. Al reutilizar o distribuir la obra, debe dejar bien claro los t􀀓erminos de la licencia de esta obra. Estas condiciones pueden modi􀀌carse con permiso escrito del autor.  \nAsimismo, agradecer􀀓e enviar un email al autor, [gnavarro@dcc.uchile.cl](gnavarro@dcc.uchile.cl), si utiliza esta obra fuera del Departamento de Ciencias de la Computaci􀀓on de la Universidad de Chile, para mis registros. Finalmente, toda sugerencia sobre el contenido, errores, omisiones, etc. es bienvenida al mismo email.  \n􀀓  \nIndice General  \n1 Conceptos B􀀓asicos 5  \n1.1 Inducci􀀓on Estructural ............................... 5  \n1.2 Conjuntos, Relaciones y Funciones ....................... 6  \n1.3 Cardinalidad ................................... 7  \n1.4 Alfabetos, Cadenas y Lenguajes ......................... 10  \n1.5 Especi􀀌caci􀀓on Finita de Lenguajes ....................... 11  \n2 Lenguajes Regulares 13  \n2.1 Expresiones Regulares (ERs) ........................... 13  \n2.2 Aut􀀓omatas Finitos Determin􀀓􀀐sticos (AFDs) ................... 15  \n2.3 Aut􀀓omatas Finitos No Determin􀀓􀀐sticos (AFNDs) ................ 20  \n2.4 Conversi􀀓on de ER a AFND ........................... 22  \n2.5 Conversi􀀓on de AFND a AFD ........................... 24  \n2.6 Conversi􀀓on de AFD a ER ............................ 26  \n2.7 Propiedades de Clausura ............................. 28  \n2.8 Lema de Bombeo ................................. 29  \n2.9 Propiedades Algor􀀓􀀐tmicas de Lenguajes Regulares ............... 31  \n2.10 Ejercicios ..................................... 32  \n2.11 Preguntas de Controles .............................. 35  \n2.12 Proyectos ..................................... 40  \n3 Lenguajes Libres del Contexto 43  \n3.1 Gram􀀓aticas Libres del Contexto (GLCs) .................... 43  \n3.2 Todo Lenguaje Regular es Libre del Contexto ................. 48  \n3.3 Aut􀀓omatas de Pila (AP) ............................. 49  \n3.4 Conversi􀀓on de GLC a AP ............................ 53  \n3.5 Conversi􀀓on a AP a GLC ............................. 54  \n3.6 Teorema de Bombeo ............................... 57  \n3.7 Propiedades de Clausura ............................. 59  \n3.8 Propiedades Algor􀀓􀀐tmicas ............................. 59  \n3.9 Determinismo y Parsing ............................. 61  \n􀀓  \n4 INDICE GENERAL  \n3.10 Ejercicios ..................................... 67  \n3.11 Preguntas de Controles .............................. 69  \n3.12 Proyectos ..................................... 72  \n4 M􀀓aquinas de Turing y la Tesis de Church 75  \n4.1 La M􀀓aquina de Turing (MT) ........................... 75  \n4.2 Protocolos para Usar MTs ............................ 78  \n4.3 Notaci􀀓on Modular ................................. 81  \n4.4 MTs de k Cintas y Otras Extensiones ...................... 85  \n4.5 MTs no Determin􀀓􀀐sticas (MTNDs) ....................... 90  \n4.6 La M􀀓aquina Universal de Turing (MUT) .................... 96  \n4.7 La Tesis de Church ................................ 100  \n4.8 Gram􀀓aticas Dependientes del Contexto (GDC) ................. 103  \n4.9 Ejercicios ..................................... 107  \n4.10 Preguntas de Controles .............................. 108  \n4.11 Proyectos ..................................... 111  \n5 Computabilidad 113  \n5.1 El Problema de la Detenci􀀓on ........................... 113  ","cbCaitbA6cOeMvlC","https://ap.wps.com/l/cbCaitbA6cOeMvlC","pdf",1428850,2,1,178,"Spanish","es",110,"# Conceptos Básicos\n## Inducción Estructural\n## Conjuntos, Relaciones y Funciones\n## Cardinalidad\n## Alfabetos, Cadenas y Lenguajes\n## Especificación Finita de Lenguajes\n# Lenguajes Regulares\n## Expresiones Regulares (ERs)\n## Autómatas Finitos Determinísticos (AFDs)\n## Autómatas Finitos No Determinísticos (AFNDs)\n## Conversión entre ER, AFND y AFD\n## Propiedades de Clausura\n## Lema de Bombeo\n## Propiedades Algorítmicas\n## Ejercicios, Preguntas de Controles y Proyectos\n# Lenguajes Libres del Contexto\n## Gramáticas Libres del Contexto (GLCs)\n## Autómatas de Pila (AP)\n## Teorema de Bombeo\n## Determinismo y Parsing\n## Ejercicios, Preguntas de Controles y Proyectos\n# Máquinas de Turing y la Tesis de Church\n## Máquina de Turing (MT)\n## Máquina Universal de Turing (MUT)\n## Tesis de Church\n## Gramáticas Dependientes del Contexto (GDC)\n## Ejercicios, Preguntas de Controles y Proyectos\n# Computabilidad\n## Problema de la Detección\n## Decidir, Aceptar, Enumerar\n## Indecidibilidad por Reducción\n## Otros Problemas Indecidibles\n## Ejercicios, Preguntas de Controles y Proyectos\n# Complejidad Computacional\n## Tiempo de Computación\n## Modelos de Computación y Tiempos\n## Clases P y NP\n## SAT es NP-completo\n## Jerarquía de Complejidad\n## Ejercicios, Preguntas de Controles y Proyectos","[{\"question\":\"Qué temas abarca el curso en lenguajes formales y computación?\",\"answer\":\"Cubre fundamentos de lenguajes formales, incluyendo lenguajes regulares, lenguajes libres del contexto, máquinas de Turing, computabilidad y complejidad computacional. El índice organiza los contenidos por conceptos, modelos y resultados clave.\"},{\"question\":\"Cómo se relacionan expresiones regulares y autómatas finitos en el material?\",\"answer\":\"Se estudian conversiones entre expresiones regulares, autómatas finitos no determinísticos y determinísticos. También se incluyen propiedades de clausura y resultados como el lema de bombeo y propiedades algorítmicas.\"},{\"question\":\"Qué enfoque sigue el material para la computabilidad y la indecidibilidad?\",\"answer\":\"Presenta el problema de la detención, conceptos de decidir/aceptar/enumerar y técnicas para demostrar indecidibilidad mediante reducción. Se listan además otros problemas indecidibles y ejercicios asociados.\"},{\"question\":\"Qué contenidos de complejidad computacional se destacan?\",\"answer\":\"Se desarrollan nociones de tiempo de computación, modelos y tiempos, y se introducen las clases P y NP. El material incluye que SAT es NP-completo, otros problemas NP-completos y la jerarquía de complejidad, con ejercicios y proyectos.\"}]","Fundamentos de la Ciencia de la Computación - Apuntes y Ejercicios | PDF",1787646799,274,{"code":4,"msg":32,"data":33},"ok",{"site_id":25,"language":24,"slug":34,"title":13,"keywords":35,"description":14,"schema_data":36,"social_meta":91,"head_meta":93,"extra_data":95,"updated_unix":29},"fundamentals-of-computer-science-notes-and-exercises","",{"@graph":37,"@context":90},[38,54,69],{"@type":39,"itemListElement":40},"BreadcrumbList",[41,45,48,51],{"item":42,"name":43,"@type":44,"position":21},"https://docshare.wps.com","Home","ListItem",{"item":46,"name":47,"@type":44,"position":20},"https://docshare.wps.com/es/document/","Document",{"item":49,"name":12,"@type":44,"position":50},"https://docshare.wps.com/es/document/investigación-e-informes/",3,{"item":52,"name":13,"@type":44,"position":53},"https://docshare.wps.com/es/document/fundamentals-of-computer-science-notes-and-exercises/140958/",4,{"url":52,"name":13,"@type":55,"author":56,"headline":13,"publisher":58,"fileFormat":61,"inLanguage":24,"description":14,"dateModified":62,"datePublished":63,"encodingFormat":61,"isAccessibleForFree":64,"interactionStatistic":65},"DigitalDocument",{"name":9,"@type":57},"Person",{"url":42,"name":59,"@type":60},"DocShare","Organization","application/pdf","2026-08-31","2026-08-25",true,{"@type":66,"interactionType":67,"userInteractionCount":20},"InteractionCounter",{"@type":68},"ViewAction",{"@type":70,"mainEntity":71},"FAQPage",[72,78,82,86],{"name":73,"@type":74,"acceptedAnswer":75},"Qué temas abarca el curso en lenguajes formales y computación?","Question",{"text":76,"@type":77},"Cubre fundamentos de lenguajes formales, incluyendo lenguajes regulares, lenguajes libres del contexto, máquinas de Turing, computabilidad y complejidad computacional. El índice organiza los contenidos por conceptos, modelos y resultados clave.","Answer",{"name":79,"@type":74,"acceptedAnswer":80},"Cómo se relacionan expresiones regulares y autómatas finitos en el material?",{"text":81,"@type":77},"Se estudian conversiones entre expresiones regulares, autómatas finitos no determinísticos y determinísticos. También se incluyen propiedades de clausura y resultados como el lema de bombeo y propiedades algorítmicas.",{"name":83,"@type":74,"acceptedAnswer":84},"Qué enfoque sigue el material para la computabilidad y la indecidibilidad?",{"text":85,"@type":77},"Presenta el problema de la detención, conceptos de decidir/aceptar/enumerar y técnicas para demostrar indecidibilidad mediante reducción. Se listan además otros problemas indecidibles y ejercicios asociados.",{"name":87,"@type":74,"acceptedAnswer":88},"Qué contenidos de complejidad computacional se destacan?",{"text":89,"@type":77},"Se desarrollan nociones de tiempo de computación, modelos y tiempos, y se introducen las clases P y NP. El material incluye que SAT es NP-completo, otros problemas NP-completos y la jerarquía de complejidad, con ejercicios y proyectos.","https://schema.org",{"og:url":52,"og:type":92,"og:title":13,"og:site_name":59,"og:description":14},"article",{"robots":94,"canonical":52},"index,follow",{"doc_id":7,"site_id":25},{"code":4,"msg":5,"data":97},[98,103,107,111,115,117,121,125,129,133],{"id":99,"doc_module":4,"doc_module_name":47,"category_name":100,"show_sort_weight":101,"slug":102},39,"Cómic",60,"comic",{"id":104,"doc_module":4,"doc_module_name":47,"category_name":105,"show_sort_weight":101,"slug":106},43,"Estilo de Vida","lifestyle",{"id":108,"doc_module":4,"doc_module_name":47,"category_name":109,"show_sort_weight":101,"slug":110},38,"Examen","exam",{"id":112,"doc_module":4,"doc_module_name":47,"category_name":113,"show_sort_weight":101,"slug":114},44,"General","general",{"id":11,"doc_module":4,"doc_module_name":47,"category_name":12,"show_sort_weight":101,"slug":116},"research-report",{"id":118,"doc_module":4,"doc_module_name":47,"category_name":119,"show_sort_weight":101,"slug":120},37,"Literatura","literature",{"id":122,"doc_module":4,"doc_module_name":47,"category_name":123,"show_sort_weight":101,"slug":124},22,"Relatos y Novelas","story-novel",{"id":126,"doc_module":4,"doc_module_name":47,"category_name":127,"show_sort_weight":101,"slug":128},42,"Religión y Espiritualidad","religion-spirituality",{"id":130,"doc_module":4,"doc_module_name":47,"category_name":131,"show_sort_weight":101,"slug":132},40,"Salud y Atención Médica","healthcare",{"id":134,"doc_module":4,"doc_module_name":47,"category_name":135,"show_sort_weight":101,"slug":136},24,"Tecnología","technology"]