IFT313 Révision finale Département d’informatique Froduald Kabanza Département d’informatique Université de Sherbrooke Révision finale

Analyse Lexicale - Expressions régulières Savoir ce qu’un langage régulier. Être capable d’écrire une expression régulière décrivant un langage donné. Être capable de faire une recherche dans un fichier texte en utilisant grep. Être capable d’écrire un programme cherchant des patterns dans un fichier texte avec regex. IFT313 © Froduald Kabanza

Analyse lexicale - Automates à états finis Être capable d’écrire une automate fini acceptant un langage donné. Être capable de programmer un automate fini reconnaissant les tokens d’un langage donné. IFT313 © Froduald Kabanza

Analyse lexicale – de Exp. Reg. à AFN Être capable d’écrire un automate fini acceptant le langage décrit par une expression régulière donnée. IFT313 © Froduald Kabanza

Analyse lexical – de AFN à AFD Être capable d’écrire un automate fini déterministe correspondant à un automate fini non déterministe. Être capable de simuler un AFN. IFT313 © Froduald Kabanza

Analyse lexical – générateurs d’analyseurs lexicaux Savoir utiliser JFLEX pour générer un analyseur lexical. IFT313 © Froduald Kabanza

Minimisation d’un AFD Savoir minimiser la taille (nombre d’états) d’un AFD. IFT313 © Froduald Kabanza

Analyse syntaxique - grammaires Savoir reconnaître et expliquer les différentes types de grammaires. Pouvoir donner une grammaire acceptant un langage donné. Pouvoir décrire le langage accepté par une grammaire donnée. Connaître le rapport entre les grammaires et les automates finis. Pouvoir expliquer le concept d’arbre d’analyse. Pouvoir expliquer ce qu’une grammaire ambiguë. IFT313 © Froduald Kabanza

Analyse syntaxique – automate à pile Savoir décrire un automate à pile acceptant un langage donné ? Savoir simuler l’exécution d’un automate à pile ? Exprimer le pouvoir d’expressivité d’un automate à pile ? IFT313 © Froduald Kabanza

Analyse syntaxique LL – automate à pile LL Pouvoir décrire et simuler un automate à pile LL pour une grammaire donnée. IFT313 © Froduald Kabanza

Analyse syntaxique LL – Nullable, First, Follow, table d’analyse Savoir définir les concepts de symboles nullables, d’ensemble first et d’ensemble follow pour une grammaire. Pouvoir décrire et appliquer un algorithme pour calculer les symboles nullables, l’ensemble first et l’ensemble follow pour une grammaire. Savoir calculer une table d’analyse LL(1) pour une grammaire LL(1) donnée. Pouvoir déterminer si une grammaire est LL(1) IFT313 © Froduald Kabanza

Analyse syntaxique LL non-récursif Comprendre et pouvoir décrire et simuler l’algorithme d’analyse LL (1) non-récursif. Pouvoir transformer une grammaire non LL(1) en une grammaire LL (1) Pouvoir transformer une grammaires ambiguë en une grammaire non-ambiguë. Pouvoir éliminer la récursivité à gauche (left recursion). Pouvoir utiliser la factorisation à gauche (left factoring) IFT313 © Froduald Kabanza

Analyse syntaxique LL récursif Pouvoir programmer un analyseur syntaxique récursif pour une grammaire donnée. Connaître les fondements d’un générateur d’analyseur syntaxique LL tel que JavaCC. IFT313 © Froduald Kabanza

Analyse syntaxique - grammaires Savoir reconnaître et expliquer les différentes types de grammaires. Pouvoir donner une grammaire acceptant un langage donné. Pouvoir décrire le langage accepté par une grammaire donnée. Connaître le rapport entre les grammaires et les automates finis. Pouvoir expliquer le concept d’arbre d’analyse. Pouvoir expliquer ce qu’une grammaire ambiguë. IFT313 © Froduald Kabanza

Analyse syntaxique – automate à pile Savoir décrire un automate à pile acceptant un langage donné ? Savoir simuler l’exécution d’un automate à pile ? Exprimer le pouvoir d’expressivité d’un automate à pile ? IFT313 © Froduald Kabanza

Analyse syntaxique LL – automate à pile LL Pouvoir décrire et simuler un automate à pile LL pour une grammaire donnée. IFT313 © Froduald Kabanza

Analyse syntaxique LL – Nullable, First, Follow, table d’analyse Savoir définir les concepts de symboles nullables, d’ensemble first et d’ensemble follow pour une grammaire. Pouvoir décrire et appliquer un algorithme pour calculer les symboles nullables, l’ensemble first et l’ensemble follow pour une grammaire. Savoir calculer une table d’analyse LL(1) pour une grammaire LL(1) donnée. Pouvoir déterminer si une grammaire est LL(1) IFT313 © Froduald Kabanza

Analyse syntaxique LL non-récursif Comprendre et pouvoir décrire et simuler l’algorithme d’analyse LL (1) non-récursif. Pouvoir transformer une grammaire non LL(1) en une grammaire LL (1) Pouvoir transformer une grammaires ambiguë en une grammaire non-ambiguë. Pouvoir éliminer la récursivité à gauche (left recursion). Pouvoir utiliser la factorisation à gauche (left factoring) IFT313 © Froduald Kabanza

Analyse syntaxique LL récursif Pouvoir programmer un analyseur syntaxique récursif pour une grammaire donnée. Connaître les fondements d’un générateur d’analyseur syntaxique LL tel que JavaCC. IFT313 © Froduald Kabanza

Automate à pile LR Notion de poignée (handle) Pouvoir définir et simuler un automate à pile LR. Pouvoir définir la notion de poignée (handle). IFT313 © Froduald Kabanza

Préfixes viables Éléments LR(0) AFD LR()) Pouvoir calculer l’AFD des préfixes viables. Pouvoir générer une table d’analyse LR(0). Pouvoir décrire le driver LR(0) et le simuler. IFT313 © Froduald Kabanza

Analyse LR(0) Analyse SLR(1) Pouvoir définir et simuler l’algorithme d’analyse LR (Driver LR) Pouvoir générer une table d’analyse SLR(1) pour une grammaire donnée. Pouvoir reconnaître les grammaires SLR(1). IFT313 © Froduald Kabanza

Analyse LR(1) Analyse LALR(1) Pouvoir définir ce qu’un élément LR(1). Pouvoir calculer l’AFD LR(1). Pouvoir construire la table d’analyse LR(1). Pouvoir reconnaître des grammaires LR(1). Pouvoir calculer l’AFD LALR(1) Pouvoir construire la table d’analyse LALR(1). Pouvoir reconnaître des grammaires LALR(1). Comprendre les forces relatives des analyses LR(0), SLR(1), LR(1) et LALR(1). Connaître l’hiérarchie entre les différentes classes de grammaires hors-contexte : LL(0), LL(1), LR(0), LR(1), SLR(1), LALR(1). IFT313 © Froduald Kabanza

Java CUP Pouvoir spécifier une grammaire avec Java CUP Pouvoir spécifier des actions sémantiques avec Java CUP IFT313 © Froduald Kabanza