Cours A5x

Jean-Pierre Peyrin

Informations

• Publié par: Epsu
• Nombre de lectures: 28
• Langue: Français

Extrait

A5 : Le typype Séquence : expression actionnelle()(2/2)
deuxième modèle d’accès séquentiel
J-P. Peyrin - Le type séquence : expression actionnelle 2/2¾
¾
Résumé du cours précédent (A4) :
•• PPiremier d modèlèle d d’accè éès séquentitiel l :
Marque terminale
Traiter avant d’avancer
pg pd
ElémentCourant
Acc ← v
Démarrer
tantque non FinDeSéquence : { Acc = Résultat(pg) }
Acc ← f (Acc, ÉlémentCourant)
Avancer
J-P. Peyrin - Le type séquence : expression fonctionnelle 1/2AA5 5 : LLe e type SéquenceSéquence : expressionexpression actionnelleactionnelle ((2/2)2/2)
deuxième modèle d’accès séquentiel
•• Deuxième modèlemodèle dd’accès séquentiel
• Schéma de parcours (modèle 2)
– exemple : Valeur entière d'une séquence de chiffres décimaux
• Schéma de recherche (modèle 2)
– exemple : Une séquence de nombres comporte-t-elle des nombres négatifs ?
• Schémaa dede parcourss partiel (modèle(modèle 2)
– exemple : Somme des élements négatifs d'une séquence croissante d'entiers.
• Quelques variantes de schémas :
– séquence vvideide eexcluexclue : somme des éléélémentts d'd'une séquence d'd'entiers relatiftifs.
– premier élément exclu : élément maximum d'une séquence de nombres entiers relatifs.
• Conversion de modèles
• La composition itérative « i parcourant »
Référence :
P-CSC. Schollcholl, M -C. FauvetFauvet, F. LLagnieragnier, F. Maraninchi : LangagesLangages etet programmationprogrammation, MassonMasson (1993)(1993).
P-C. Scholl, J-P. Peyrin : Schémas Algorithmiques Fondamentaux, Masson (1988)
J-P. Peyrin - Le type séquence : expression actionnelle 2/2Le type Séquence - modèle 2
Deuxième modèle d'accès séquentiel (avec marque initiale) :
pg pd
ElémentCourant
J-P. Peyrin - Le type séquence : expression actionnelle 2/2Le type Séquence - modèle 2
Deuxième modèle d'accès séquentiel (avec marque initiale) :
pg pd
ElémentCourant
Définition d'une séquenceséquence ::
J-P. Peyrin - Le type séquence : expression actionnelle 2/2Le type Séquence - modèle 2
Deuxième modèle d'accès séquentiel (avec marque initiale) :
pg pd
ElémentCourant
Définition d'une séquenceséquence ::
ÉlémentCourant : une fonction → un élément {ÉlémentCourant = dernier (pg)}
J-P. Peyrin - Le type séquence : expression actionnelle 2/2Le type Séquence - modèle 2
Deuxième modèle d'accès séquentiel (avec marque initiale) :
pg
ElémentCourant
Définition d'une séquenceséquence ::
ÉlémentCourant : une fonction → un élément {ÉlémentCourant = dernier (pg)}
EstDernier : → un booléen {EstDernier = vide (pd)}
J-P. Peyrin - Le type séquence : expression actionnelle 2/2Le type Séquence - modèle 2
Deuxième modèle d'accès séquentiel (avec marque initiale) :
pd
ElémentCourant
Définition d'une séquenceséquence ::
Amorcer : une action
{état initial : indifférent ;
état final :: pg == [[ ], ppdd = S}S}
ÉlémentCourant : une fonction → un élément {ÉlémentCourant = dernier (pg)}
EstDernier : → un booléen {EstDernier = vide (pd)}
J-P. Peyrin - Le type séquence : expression actionnelle 2/2Le type Séquence - modèle 2
Deuxième modèle d'accès séquentiel (avec marque initiale) :
pg pd
ElémentCourant
Définition d'une séquenceséquence ::
Amorcer : une action
{état initial : indifférent ;
état final :: pg == [[ ], ppdd = S}S}
Avancer : une action
{état initial : pg = g, pd = d, S = g & d, non vide (pd) ;
état final : pg = g . premier (d), pd = fin (d)}
ÉlémentCourant : une fonction → un élément {ÉlémentCourant = dernier (pg)}
EstDernier : → un booléen {EstDernier = vide (pd)}
J-P. Peyrin - Le type séquence : expression actionnelle 2/2Une illustration du deuxième modèle : fichiers et tableaux en PASCAL
fichier : f : file of …
x : …
Amorcer : reset (f)
Avancer : readd( (ff, x) {{f x := f↑↑ ; get(f)(f) }
ÉlémentCourant : x
EstDernier : eof ()(f)
J-P. Peyrin - Le type séquence : expression actionnelle 2/2