DSpace About DSpace Software
 

Depot Institutionnel de l'UMBB >
Thèses de Doctorat et Mémoires de Magister >
Informatique >
Magister >

Please use this identifier to cite or link to this item: http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/889

Titre: Génération des habitants d'un type simple dans le lambda-calcul
Auteur(s): Si Smail, Ouarda
Mots-clés: Algorithmes
Lambda-calcul
Issue Date: 2011
Résumé: Vu l'intérêt des types dans le ?-calcul, nous nous sommes intéressés au problème d' énumération des habitants d'un type.Un type peut avoir un nombre fini ou infini de termes (habitants), à l'image des types des entiers de church qui peuvent avoir un nombre infini de termes 0, 1, • • • , ? ces termes peuvent être représentés par un ensemble fini de terme {0, S} le zéro et la fonction successeur. Pour un type donné, peut-on définir un ensemble fini de termes qui génère l'ensemble des habitants?Dans notre m ?moire nous avons étudié plusieurs algorithmes d' énumération proposés par plusieurs auteurs, puis nous avons simplifié et amélioré la procédure proposée par Mr Hamedani (étudiant en Magister Université de Boumerdes) pour les types de degré ? 2 , par la suite nous avons propos ? une procédure de génération pour une classe plus grande des types, les types finement engendrés de degré ? 3 et enfin nous sommes arrivés exploiter la grammaire à contexte libre de Dowek et Jiang pour générer un ensemble fini de termes (termes initiaux et termes générateurs) qui représente l'ensemble des habitants pour les types de degré quelconque
Description: 100 p. , ill. , 30 cm
URI: http://dlibrary.univ-boumerdes.dz:8080/jspui/handle/123456789/889
Appears in Collections:Magister

Files in This Item:

File Description SizeFormat
these-sismail.pdf617,58 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback