Couvre la sémantique des langages de programmation, en se concentrant sur le langage Add et le rôle des règles de réécriture et des machines CK dans la compréhension du sens.

Lambda Calculus: Syntaxe et Abstractions

Introduit des termes, des abstractions, des applications et des valeurs dans le calcul lambda.

Arbre syntaxique : Parse vs AST

Explique les arbres syntaxiques, l'analyse vs AST, tandis que la syntaxe du langage, les classes AST et les ambiguïtés grammaticales.

Algorithme CYK

Introduit l'algorithme CYK pour une analyse syntaxique efficace à l'aide de l'analyse des graphiques et discute de sa complexité et de sa technique d'analyse ascendante.

Types dépendants dans les langages de programmation

Explore les cartes, les opérateurs de type, l'équivalence, les types de première classe, System Fw, Coq, et les défis de la vérification de type dans les langages de programmation.

Codage de la récursivité comme auto-application

Explore le calcul lambda, les fonctions d'ordre supérieur et l'encodage récursif des fonctions.

Analyse stochastique : approche probabiliste

Couvre les grammaires stochastiques sans contexte, l'analyse probabiliste et l'estimation des probabilités.