Notas complementarias del curso de autómatas y lenguajes formales.
Go to file
Vladimir Lemus 1e060d5c02 README actual 2022-10-11 23:05:48 -05:00
.gitignore Initial commit 2021-08-21 15:23:05 +00:00
LICENSE Initial commit 2021-08-21 15:23:05 +00:00
README.md README actual 2022-10-11 23:05:48 -05:00
bombeo.pdf Nuevo Myhill 2022-09-24 13:04:05 -05:00
bombeo.tex minimizacion 2022-10-11 22:55:30 -05:00
chomsky_homeboy.jpg commit 3 2021-08-21 11:29:36 -05:00
chomsky_schutzenberger.pdf commit maquinas 2021-09-27 12:08:14 -05:00
chomsky_schutzenberger.tex commit maquinas 2021-09-27 12:08:14 -05:00
cky.epub marzo 2022 2022-03-11 00:42:27 -06:00
cky.pdf commit cky 2 2021-10-26 17:36:10 -05:00
cky.tex commit cky 2 2021-10-26 17:36:10 -05:00
gramaticas_libres_de_contexto.pdf commit biblio 2021-08-24 18:52:51 -05:00
gramaticas_libres_de_contexto.tex commit biblio 2021-08-24 18:52:51 -05:00
group_hom2.jpg commit maquinas 2021-09-27 12:08:14 -05:00
last_of_us.png commit maquinas 2021-09-27 12:08:14 -05:00
lema_bombeo_pila.pdf commit biblio 2021-08-24 18:52:51 -05:00
lema_bombeo_pila.tex commit biblio 2021-08-24 18:52:51 -05:00
maquinas_turing.pdf correccion maquinas 2022-05-16 23:31:14 -05:00
maquinas_turing.tex correccion maquinas 2022-05-16 23:31:14 -05:00
maquinas_turing_2.pdf correccion maquinas 2022-05-16 23:31:14 -05:00
maquinas_turing_2.tex correccion maquinas 2022-05-16 23:31:14 -05:00
minimizacion.pdf minimizacion 3 2022-10-11 23:01:54 -05:00
minimizacion.tex minimizacion 3 2022-10-11 23:01:54 -05:00
minimizacion.tex~ minimizacion 2022-10-11 22:55:30 -05:00
myhill-nerode.pdf Nuevo Myhill 2022-09-24 13:04:05 -05:00
myhill-nerode.tex Nuevo Myhill 2022-09-24 13:04:05 -05:00
nfa_dfa.pdf marzo 2022 2022-03-11 00:42:27 -06:00
nfa_dfa.tex marzo 2022 2022-03-11 00:42:27 -06:00
otros_modelos.pdf correccion modelos 2022-05-23 21:30:50 -05:00
otros_modelos.tex correccion modelos 2022-05-23 21:30:50 -05:00
pila.jpg commit pila 2021-08-24 18:42:56 -05:00
turing1.jpg commit maquinas 2021-09-27 12:08:14 -05:00

README.md

Notas de autómatas y lenguajes formales

Notas complementarias del curso de autómatas y lenguajes formales, de apoyo en la revisión de los temas faltantes.

Algunas de las notas las estaré actualizando por aquello de los errores, temas que considero debería incluirse, por si desean entrar y echar un ojo a posibles actualizaciones.

Temario

  1. Automatas finitos deterministas y no deterministas: nfa_dfa.pdf
  2. Lema del bombeo: bombeo.pdf
  3. Teorema de Myhill-Nerode: myhill-nerode.pdf
  4. Minimización de automatas finitos deterministas-colapso de estados: minimizacion.pdf
  5. Gramáticas libres de contexto, formas normales de Chomsky y Greibach: gramaticas_libres_de_contexto.pdf
  6. Lema del bombeo para CFL y autómatas de pila: lema_bombeo_pila.pdf
  7. Lenguajes de Dyck y teorema de Chomsky Schützenberger: chomsky_schutzenberger.pdf
  8. Logaritmo Coke-Kasami-Younger cky.pdf
  9. Máquinas de Turing (principios, diseño) maquinas_turing.pdf
  10. Máquinas de Turing (reducción, teorema de Rice) maquinas_turing_2.pdf
  11. Otros modelos otros_modelos.pdf

Cualquier cosa pueden escribir a vladimir@ciecias.unam.mx, si desean una comunicación más directa me encuentran en xmpp vladimir@suchat.org (en el caso de haber llevado el curso ya saben otros métodos de contacto).

Para el curso se habilitó un canal de chat que sigue abierto para el uso de quien lo desee para dudas y discusiones en temas de teoría de la computación, son libres de usarlo respetando la temática del canal: Canal en irc.libera.chat:##teoriacomputacion O entrar por el cliente web: https://kiwiirc.com/nextclient/irc.libera.chat/##teoriacomputacion

Sírvanse en tomar lo que les sea útil, cualquier comentario es bien recibido.