Cette séance de cours couvre le concept d'automates de poussée déterministes, y compris les définitions formelles, le théorème de l'inflation et l'utilisation du théorème de l'inflation dans la reconnaissance linguistique. Il explore également l'utilisation d'automates déterministes pour la reconnaissance des langues.