IFT313 Introduction aux langages formels Froduald Kabanza Département dinformatique Université de Sherbrooke Révision de mi-session

IFT313© Froduald Kabanza2 Analyse Lexicale - Expressions régulières Savoir ce quun 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 Kabanza3 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 dun langage donné.

IFT313© Froduald Kabanza4 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 Kabanza5 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 Kabanza6 Analyse lexical – générateurs danalyseurs lexicaux Savoir utiliser JFLEX pour générer un analyseur lexical.

IFT313© Froduald Kabanza7 Minimisation dun AFD Savoir minimiser la taille (nombre détats) dun AFD.

IFT313© Froduald Kabanza8 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 darbre danalyse. Pouvoir expliquer ce quune grammaire ambiguë.

IFT313© Froduald Kabanza9 Analyse syntaxique – automate à pile Savoir décrire un automate à pile acceptant un langage donné ? Savoir simuler lexécution dun automate à pile ? Exprimer le pouvoir dexpressivité dun automate à pile ?

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

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

IFT313© Froduald Kabanza12 Analyse syntaxique LL non-récursif Comprendre et pouvoir décrire et simuler lalgorithme danalyse 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 Kabanza13 Analyse syntaxique LL récursif Pouvoir programmer un analyseur syntaxique récursif pour une grammaire donnée. Connaître les fondements dun générateur danalyseur syntaxique LL tel que JavaCC.

IFT313© Froduald Kabanza14 Remarques Les questions ressemblent à celles du Lab ou des TPs Des exemples danciens examens sont sur le site web Aucune documentation nest permise