Référence du fichier combinator.py

Combinateurs. Plus de détails...

Aller au code source de ce fichier.

Classes
class	DSPython.combinator.Atom
	"Atome" pour les combinateurs Plus de détails...
class	DSPython.combinator.Combinator
	Combinateur (Sequence non vide dont le premier élément est un Atom et les suivants des Combinator) Plus de détails...

Paquetages
namespace	DSPython.combinator
	Combinateurs.

Fonctions
def	DSPython.combinator.func_B
	Fonction pour la dynamique du combinateur atomique B : Bxyz...
def	DSPython.combinator.func_C
	Fonction pour la dynamique du combinateur atomique C : Cxyz...
def	DSPython.combinator.func_const
	Fonction pour une "dynamique constante" : a...
def	DSPython.combinator.func_I
	Fonction pour la dynamique du combinateur atomique I : Ix...
def	DSPython.combinator.func_K
	Fonction pour la dynamique du combinateur atomique K : Kxy...
def	DSPython.combinator.func_S
	Fonction pour la dynamique du combinateur atomique S : Sxyz...
def	DSPython.combinator.func_W
	Fonction pour la dynamique du combinateur atomique W : Wxy...
def	DSPython.combinator.func_x
	Fonction pour le remplacement de la "méta-variable" x.
def	DSPython.combinator.func_y
	Fonction pour le remplacement de la "méta-variable" y.
def	DSPython.combinator.func_z
	Fonction pour le remplacement de la "méta-variable" z.

Variables
string	DSPython.combinator.VERSION = 'combinator --- 2010 April 12'
	Date du dernier changement pour ce module.
int	DSPython.combinator.BARENDREGT = 1
	Constante pour utiliser les opérations sur les nombres naturels de Barendregt.
int	DSPython.combinator.CHURCH = 2
	Constante pour utiliser les opérations sur les nombres naturels de Church.
tuple	DSPython.combinator._ATOM_CONST = Atom('c')
	Constante d'un atome de "dynamique constante", utilisée en interne.
tuple	DSPython.combinator.Atom_K = Atom('K', func_K)
	Atome K (constante, à ne pas modifier)
tuple	DSPython.combinator.Atom_S = Atom('S', func_S)
	Atome S (constante, à ne pas modifier)
tuple	DSPython.combinator.Atom_Vx = Atom('x', func_x)
	Atome utilisé par la "méta-variable" x (constante, à ne pas modifier)
tuple	DSPython.combinator.Atom_Vy = Atom('y', func_y)
	Atome utilisé par la "méta-variable" y (constante, à ne pas modifier)
tuple	DSPython.combinator.Atom_Vz = Atom('z', func_z)
	Atome utilisé par la "méta-variable" z (constante, à ne pas modifier)
tuple	DSPython.combinator._COMB_CONST = Combinator(_ATOM_CONST)
	Constante d'un combinateur de "dynamique constante", utilisée en interne.
tuple	DSPython.combinator.K = Combinator(Atom_K)
	Combinateur K = combinateur vrai (constante, à ne pas modifier)
tuple	DSPython.combinator.S = Combinator(Atom_S)
	Combinateur S (constante, à ne pas modifier)
tuple	DSPython.combinator.KK = Combinator(K, K)
	Combinateur KK (constante, à ne pas modifier)
tuple	DSPython.combinator.KS = Combinator(K, S)
	Combinateur KS (constante, à ne pas modifier)
tuple	DSPython.combinator.SS = Combinator(S, S)
	Combinateur SS (constante, à ne pas modifier)
tuple	DSPython.combinator.SK = Combinator(S, K)
	Combinateur SK (constante, à ne pas modifier)
tuple	DSPython.combinator.B = Combinator(S, KS, K)
	Combinateur B = S(KS)K = combinateur produit pour les nombres naturels de Church (constante, à ne pas modifier)
tuple	DSPython.combinator.C
	Combinateur C = S[S(KB)S](KK) (constante, à ne pas modifier)
tuple	DSPython.combinator.I = Combinator(SK, K)
	Combinateur I = SKK = combinateur nombre naturel 0 de Barendregt (constante, à ne pas modifier)
tuple	DSPython.combinator.O = Combinator(S, I)
	Combinateur O = SI (constante, à ne pas modifier)
tuple	DSPython.combinator.iota
	Combinateur iota ι = S[O(KS)](KK) (constante, à ne pas modifier)
tuple	DSPython.combinator.KI = Combinator(K, I)
	Combinateur KI = combinateur faux = combinateur nombre naturel 0 de Church (constante, à ne pas modifier)
tuple	DSPython.combinator.M = Combinator(O, I)
	Combinateur M = OI (constante, à ne pas modifier)
tuple	DSPython.combinator.L
	Combinateur L = SB(KM) (constante, à ne pas modifier)
tuple	DSPython.combinator.Omega = Combinator(M, M)
	Combinateur Omega Ω = MM (constante, à ne pas modifier)
tuple	DSPython.combinator.R
	Combinateur R = S(KB){S(KO)K} (constante, à ne pas modifier)
tuple	DSPython.combinator.T
	Combinateur T = S(K0)K (constante, à ne pas modifier)
tuple	DSPython.combinator.U
	Combinateur U = S(KO)M (constante, à ne pas modifier)
tuple	DSPython.combinator.V
	Combinateur V = S(KC)T (constante, à ne pas modifier)
tuple	DSPython.combinator.W
	Combinateur W = SS(KI) (constante, à ne pas modifier)
tuple	DSPython.combinator.Y
	Combinateur Y = S(KM)[SB(KM)] (constante, à ne pas modifier)
tuple	DSPython.combinator.Bnot
	Combinateur not (négation booléenne) = S{O[K(KI)]}(KK) (constante, à ne pas modifier)
tuple	DSPython.combinator.Bnot_my
	Autre combinateur not (négation booléenne) = S{O[O(KI)]}(KK) (constante, à ne pas modifier)
tuple	DSPython.combinator.Band
	Combinateur and (et booléen, conjonction) = S(K{O[K(KI)]}) (constante, à ne pas modifier)
tuple	DSPython.combinator.Bor = Combinator(O, KK)
	Combinateur or (ou booléen, disjonction) = O(KK) (constante, à ne pas modifier)
tuple	DSPython.combinator.Bimp
	Combinateur implication booléenne = S{K[O(KK)]} (constante, à ne pas modifier)
tuple	DSPython.combinator.Bnotrec
	Combinateur négation de la réciproque booléenne = O[K(KI)] (constante, à ne pas modifier)
tuple	DSPython.combinator.NBzero_is = Combinator(T, K)
	Combinateur est égal à 0 ? pour nombres naturels de Barendregt = TK (constante, à ne pas modifier)
tuple	DSPython.combinator.NBsucc = Combinator(V, KI)
	Combinateur successeur pour nombres naturels de Barendregt = V(KI) (constante, à ne pas modifier)
tuple	DSPython.combinator.NBprev = Combinator(T, KI)
	Combinateur prédécesseur pour nombres naturels de Barendregt = T(KI) (constante, à ne pas modifier)
tuple	DSPython.combinator.NBadd
	Combinateur prédécesseur pour nombres naturels de Barendregt = ??? (constante, à ne pas modifier)
tuple	DSPython.combinator.NCsucc = Combinator(S, B)
	Combinateur successeur pour les nombres naturels de Church = SB (constante, à ne pas modifier)
tuple	DSPython.combinator.NCadd
	Combinateur addition pour les nombres naturels de Church = BS(BB) (constante, à ne pas modifier)
tuple	DSPython.combinator.Vx = Combinator(Atom_Vx)
	Combinateur atomiques utilisé comme "méta-variable" x.
tuple	DSPython.combinator.Vy = Combinator(Atom_Vy)
	Combinateur atomiques utilisé comme "méta-variable" y.
tuple	DSPython.combinator.Vz = Combinator(Atom_Vz)
	Combinateur atomiques utilisé comme "méta-variable" z.
	DSPython.combinator.natural_sys = CHURCH
	Spécifie le type de nombres naturels gérés par les opérations arithmétiques de la classe == BARENDREGT ou CHURCH.
dictionary	DSPython.combinator.str_combs
	Dictionnaire des strings reconnues comme combinateurs par str_to, associées à leur Combinator.
	DSPython.combinator.var_x = None
	None ou Combinator qui remplacera la "méta-variable" Vx.
	DSPython.combinator.var_y = None
	None ou Combinator qui remplacera la "méta-variable" Vy.
	DSPython.combinator.var_z = None
	None ou Combinator qui remplacera la "méta-variable" Vz.

---

Description détaillée

Combinateurs.

Cf. http://www.opimedia.be/Bruno_Marchal/index.htm#Theo
et http://fr.wikipedia.org/wiki/Logique_combinatoire pour une présentation de la logique combinatoire.

Définition dans le fichier combinator.py.