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.
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.
