COMPLEXITE DE LA REDUCTION EN LOGIQUE COMBINATOIRE / RICHARD CANAL

Date :

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1978

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Résumé / Abstract : DECRIVANT LES QUATRE EFFETS FONDAMENTAUX DES COMBINATEURS, L'AUTEUR DEMONTRE D'UNE PART, QU'UNE SUITE DE COMBINATEURS NE PEUT ETRE NON PROPRE QUE S'IL EXISTE AU MOINS UN EFFET PERMUTATIF PARMI LES EFFETS DES COMBINATEURS QUI LA COMPOSENT ET D'AUTRE PART QUE LES COMBINAISONS LINEAIRES DE COMBINATEURS DE PUISSANCE POSITIVE SANS EFFET COMPOSITE POSSEDENT TOUJOURS UNE FORME NORMALE. IL DEFINIT ALORS LES CONDITIONS SUFFISANTES D'EXISTENCE ET DE NON EXISTENCE DE LA FORME NORMALE. L'AUTEUR PRESENTE ENSUITE DES ALGORITHMES PERMETTANT LA TRADUCTION SUR UNE BASE FORMEE DE COMBINATEURS ET DE PROGRAMMES DE CALCUL DES MESURES DE COMPLEXITE