Révision finale Département d’informatiqueUniversité de Sherbrooke IFT313

(1)

IFT313

Froduald Kabanza

Département d’informatique Université de Sherbrooke

Révision finale

(2)

IFT313 © Froduald Kabanza

2

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.

(3)

3

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é.

(4)

4

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.

(5)

5

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.

(6)

6

Analyse lexical –

générateurs d’analyseurs lexicaux

• Savoir utiliser JFLEX pour générer un analyseur lexical.

(7)

7

Minimisation d’un AFD

• Savoir minimiser la taille (nombre d’états)

d’un AFD.

(8)

8

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ë.

(9)

9

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 ?

(10)

10

Analyse syntaxique LL – automate à pile LL

• Pouvoir décrire et simuler un automate à

pile LL pour une grammaire donnée.

(11)

11

Analyse syntaxique LL –

Nullable, First, Follow, table d’analyse

• Savoir définir les concepts de symboles nullables, d’en- semble 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 fol- low pour une grammaire.

• Savoir calculer une table d’analyse LL(1) pour une gram- maire LL(1) donnée.

• Pouvoir déterminer si une grammaire est LL(1)

(12)

12

Analyse syntaxique LL non-récursif

• Comprendre et pouvoir décrire et simuler l’algorithme d’an- alyse 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)

(13)

13

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.

(14)

14

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ë.

(15)

15

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 ?

(16)

16

Analyse syntaxique LL – automate à pile LL

• Pouvoir décrire et simuler un automate à pile LL pour une grammaire

donnée.

(17)

17

Analyse syntaxique LL –

Nullable, First, Follow, table d’analyse

• Savoir définir les concepts de symboles nullables, d’en- semble 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 fol- low pour une grammaire.

• Savoir calculer une table d’analyse LL(1) pour une gram- maire LL(1) donnée.

• Pouvoir déterminer si une grammaire est LL(1)

(18)

18

Analyse syntaxique LL non-récursif

• Comprendre et pouvoir décrire et simuler l’algorithme d’an- alyse 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)

(19)

19

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.

(20)

20

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).

(21)

21

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.

(22)

22

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 don- née.

• Pouvoir reconnaître les grammaires SLR(1).

(23)

23