Explore les PDE elliptiques, les solutions faibles, la régularité et les solutions fortes, en mettant l'accent sur les solutions classiques et les techniques de preuve.
Introduit les bases des automates finis, y compris les types déterministes et non déterministes, les expressions régulières et les critères d'acceptation.
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.
Explore les grammaires formelles, les algorithmes d'analyse, l'efficacité de l'algorithme CYK et la correction syntaxique dans le traitement du langage naturel.
