Sarò il tuo tutor di teoria del calcolo e di teoria degli automi

La teoria della computazione è uno dei corsi più difficili di informatica. La maggior parte dei tutor la spiega in modo meccanico. Io la spiego come farebbe un matematico che costruisce sistemi di IA reali: prima l'intuizione, poi il rigore.

ARGOMENTI CHE TRATTO:

Teoria degli automi:

• Costruzione di DFA, NFA, ε-NFA, equivalenza, minimizzazione
• Espressioni regolari e il loro collegamento agli automi finiti
• Derivazioni di grammatiche context-free, alberi di parsing, ambiguità
• Progettazione di pushdown automata e equivalenza con CFG
• Varianti di macchine di Turing, tesi di Church-Turing

Lingue formali:

• Lingue regolari, context-free e ricorsivamente enumerabili
• Lemma di pumping per dimostrare la non regolarità e la non CFL
• Classificazione completa della gerarchia di Chomsky con esempi reali

Calcolabilità e complessità:

• Decidibilità e indecidibilità
• Riduzioni e il problema dell'arresto
• P, NP, NP-completezza

IL MIO APPROCCIO:

• Inizio con l'intuizione: perché esiste?
• Definizioni formali precise e chiare
• Esempi pratici su lavagna virtuale collaborativa
• Riassunto in PDF dopo ogni lezione

Disponibilità: dalle 6 alle 20 PST / dalle 14 alle 4 GMT

️ Non risolvo esami, compiti o assegnazioni con voto. Solo tutoring.

Dimmi la data del tuo esame e gli argomenti deboli, creerò una sessione mirata su quello.