Seré tu tutor de teoría de la computación y teoría de autómatas.

La teoría de la computación es uno de los cursos más difíciles de CS. La mayoría de los tutores la explican de manera mecánica. Yo la explico como lo hace un matemático que construye sistemas de IA reales: primero la intuición, luego el rigor.

TEMAS QUE CUBRO:

Teoría de autómatas:

• Construcción de DFA, NFA, ε-NFA, equivalencia, minimización
• Expresiones regulares y su conexión con autómatas finitos
• Derivaciones de gramáticas libres de contexto, árboles de análisis, ambigüedad
• Diseño de autómatas con pila y equivalencia con CFG
• Variantes de máquinas de Turing, tesis de Church-Turing

Lenguajes formales:

• Lenguajes regulares, libres de contexto y recursivamente enumerables
• Lemas de bombeo que prueban no regularidad y no ser CFL
• Clasificación completa de la jerarquía de Chomsky con ejemplos reales

Computabilidad y complejidad:

• Decidibilidad e indecidibilidad
• Reducciones y el problema de la parada
• P, NP, NP-completitud

MI ENFOQUE:

• Comenzar con la intuición: ¿por qué existe esto?
• Definiciones formales precisas y claras
• Ejemplos resueltos en pizarra virtual colaborativa
• Resumen en PDF después de cada clase

Disponibilidad: 6am - 8pm PST / 2pm - 4am GMT

No resuelvo exámenes, tareas o trabajos calificados. Solo tutorías.

Indícame la fecha de tu examen y los temas débiles, y construiré una sesión enfocada en eso.