Cette séance de cours couvre les bases des automates finis, y compris les automates finis déterministes et non déterministes, les expressions régulières, les définitions formelles, les critères d'acceptation et la dérivabilité. L'instructeur explique les concepts étape par étape, en fournissant des exemples et des clarifications.