Bonjour, l'encodage des vidéos ne fonctionne pas pour le moment mais vous pouvez tout de même déposer vos vidéos, elles seront traitées dès que le problème sera réglé.
Démonstration de la consistance entre L = { w ∈ (A+B)* tq #(w,a) = #(w,b) } et L(G) où G est la grammaire définie par les règles : R1) S → aSbS ; (R2) S → bSaS ; (R3) S → ε
C'est une preuve par induction structurelle d'une propriété. La propriété P choisie est P(σ) = [ f(σ)=0 ] où f(σ) = #(σ,a) - #(σ,b), et est montrée comme vrai sur Sent(G), l'ensemble des formes sententielles. La preuve sur L(G) se termine en coupant Sent(G) sur le vocabulaire terminal : L(G) = Sent(G) ∩ T*
Infos
- Christian Boitet
-
- Valerie Bellynck
- Valerie Bellynck
- Gilles Serasset
- 13 novembre 2020 16:06
- Supports pédagogiques
- Français
- Licence
Commentaire(s)