Structures complexes Pr ZEGOUR DJAMEL EDDINE Ecole Supérieure d’Informatique (ESI) http://zegour.esi.dz/ email: d_zegour@esi.dz

Structures complexes : Introduction On distingue deux types d’enregistrement (structure) : - Structure simple : ensemble de champs de type simple (ENTIER, BOOLEEN, CAR, CHAINE) - Structure complexe : ensemble de champs de type simple ou de champ de type TABLEAU à une dimension de type simple

Structures complexes : Représentation en mémoire Exemple : Type simple Type simple Structure complexe Descriptif d’un tableau Type simple Tableau Éléments de la structure complexe

Structures complexes : Déclarations Types dans {Entier, Booleen, Car, Chaine} Sep dans {:, Un, Une, Des} Cste désigne une constante numérique entière Chaîne : chaîne de caractères Idf désigne un identificateur Opr dans { <, <=, >, >=, =, <> } Opa dans { +, -, Ou } Opm dans { *, /, Et } Sign dans {+, -} Tableau est synonyme de Vecteur Init_tableau est synonyme de Init_vecteur

Structures complexes : Déclarations <Algo Z>  [ ~Soit|Soient~ <Ps> ] Debut <Lis> Fin [;] { ~<Act> | <Fonct>~ [;] }*   <Act>  Action Idf [ ( <Li> ) ] [;] [ ~Soit|Soient~ <Ps> ] Debut <Lis> Fin <Fonct>  Fonction Idf ( <Li> ) : <Typ> [ ~Soit|Soient~ <Ps> ] Debut <Lis> Fin <Ps>  <S>;{ [~Soit|Soient~] <S>;}* <S>  <Li>[Sep ~<Typ>|~Action|Fonction(<Typ>)~ ~] <Li>  Idf {, Idf}*

Structures complexes : Déclarations <Typ>  Types | <Structsimple> | Tableau(<Lc>)[De~<Structsimple>|Types~ ] <Structsimple>  [Structure ](Types {, Types }*) <Lc>  Cste {, Cste}*    <Structcomplexe> | <Structcomplexe> [Structure ] ( ~ Types | Vecteur(Cste) De Types ~ {, ~ Types | Vecteur(Cste) De Types ~ }*)

Structures complexes : Instructions < Lis >  < Inst > { ; < Inst > }*   <Inst>  Idf := <Exp> |   Lire ( Idf {, Idf }* ) |   Ecrire (<Exp> {,<Exp>}* ) | Tantque <Exp> [ : ] <Lis> Fintantque | Si <Exp> [:] <Lis> [Sinon <Lis>] Fsi | Pour Idf:= <Exp>,<Exp> [, <Exp>][:] <Lis> Finpour | Appel Idf [(Exp {,<Exp>}*)] |

Structures complexes : Instructions   <Inst>  ~ Init_vecteur | Init_struct ~ ( Idf , [[ ~<Exp>|[[<Exp> {, <Exp>}*]] ~ {, ~<Exp>|[[<Exp> {, <Exp>}*]]~}* ]] ) | Aff_element ( <Exp> [[ <Exp> {, <Exp> }* ] ,<Exp> ) | Aff_struct(Idf, Cste, <Exp>)

Structures complexes : Expressions <Exp>  <Exps>[ Opr <Exps>]   <Exps>  [Sign] <Terme> { Opa <Terme> }* <Terme>  <Facteur>{Opm <Facteur>}* <Facteur>  Idf [(Exp {,<Exp>}*)] | Cste | ( <Exp>) | <Fonct> | Non <Facteur> | Vrai | Faux | Chaine  <Fonct>  Element ( <Fonct> [[ <Exp> {, <Exp> }* ]] ) | Struct ( Idf, Cste)

Sémantique des structures complexes : Fonctions sémantiques <Structcomplexe> [Structure ] ( ~ Types | Vecteur(Cste) De Types ~ {, ~ Types | Vecteur(Cste) De Types ~ }*) Fonctions sémantiques et Descriptions à trouver Fx Description < Structcomplexe>

Sémantique des structures complexes : Exemple ‘Ds’ ‘Dt’ 2 1 ‘Init_v’ 3 ‘Aff_st’ 5 7 ‘L’ 1 7 ‘C’ 3 5 2 4 6 soit s une structure(entier, vecteur(3) de booleen, chaine); v un vecteur(3) de booleen; debut init_vecteur(v,[ vrai, faux,vrai]); aff_struct(s, 1, 1); aff_struct(s, 2, v); aff_struct(s, 3,'abc'); fin 1 1 2 2 3 3 4 5 Quadruplés générés 6 7 TABOB LONGZDD 2 TABTYP (EV3BS) TABCOMP 1 TABCONS ‘3’,’Vrai’,’Faux’,’1’,’2’, ‘abc’ 0 1 2 3 4 5 3,4,3 1