Séance de cours
Cette séance de cours présente les expressions régulières comme un moyen de dénoter les langues, y compris les opérations comme lunion et la concaténation, illustrées par des exemples. Il couvre également les contributions de Kleene à l'informatique théorique, aux opérateurs d'expression régulière, à la logique monadique du second ordre, à l'analyse lexicale et à la construction manuelle des lexers.