Je commence en général mon cours de "théorie des langages et construction de compilateurs" par quelque chose de similaire :