Scribd
Importer
105 vues2 pages

Dénombrabilité et Langages en Maths

Le document présente une série d'exercices sur la dénombrabilité des ensembles et des langages formels. Il examine si certains ensembles comme les nombres entiers, rationnels et réels sont dénombrables, et introduit des notions sur les langages formels et leur dénombrabilité.

Transféré par

adkhey87
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
105 vues2 pages

Dénombrabilité et Langages en Maths

Le document présente une série d'exercices sur la dénombrabilité des ensembles et des langages formels. Il examine si certains ensembles comme les nombres entiers, rationnels et réels sont dénombrables, et introduit des notions sur les langages formels et leur dénombrabilité.

Transféré par

adkhey87
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Faculté des Sciences et Techniques de Limoges

Master 1 - Informatique et Mathématiques 2023-2024

Calculabilité et Complexité - TD 1
1.1 Dénombrabilité
Exercice 1 :
Montrer que tous les sous-ensembles d’un ensemble dénombrable sont dénombrables.
Nous pouvons donc conclure que tous les sous-ensembles de N sont dénombrables.

Nous nous demandons ce qu’il advient de certains ‘sur-ensembles’ de N


Exercice 2 :
L’ensemble Z est-il dénombrable ?

Examinons maintenant les opérations sur les ensembles, suivantes : ∪, ∩, ×.


Exercice 3 :
Si A et B sont deux ensembles dénombrables, montrer que :
(a) A ∪ B
(b) A ∩ B
(c) A × B
sont dénombrables.
Exercice 4 :
En utilisant le point (b) de l’exercice précédent, prouver que Z est dénombrable.
Exercice 5 :
N × N est dénombrable. En utilisant ce résultat, prouver que :
(a) si An , pour n ∈ N, sont des ensembles dénombrables, alors A = ∪n∈N An est dénombrable ;
(b) et que l’ensemble des nombres rationnels Q est aussi dénombrable.
Exercice 6 :
Soit S l’ensemble des suites binaires infinies. Montrer qu’il n’est pas dénombrable.
Indice : raisonner par l’absurde en supposant que S soit dénombrable. À l’aide d’un procédé diagonal construire
une suite binaire infinie que n’appartient pas à S afin d’aboutir à une contradiction.
Exercice 7 :
Montrer que l’ensemble des nombres réels R n’est pas dénombrable.
Indice : utiliser le même procédé diagonal de l’exercice précédent pour prouver dans un premier temps que
l’intervalle (0, 1) n’est pas dénombrable. Enfin, déduire le résultat pour R.
Exercice 8 :
Montrer que l’ensemble des nombres irrationnels n’est pas dénombrable.
Exercice 9 :
Soit E un ensemble. Montrer qu’il n’existe aucune bijection entre E et l’ensemble des parties de E, P(E).

1.2 Langages
Soit Σ = {a, b} un alphabet. On considère les trois langages :

L1 = a∗ b∗ , L2 = (ab)∗ , L3 = {a, b}∗

Montrer que :
(a) L1 ̸= L2 ;
(b) L1 ̸= L3 ;

Page 1
Faculté des Sciences et Techniques de Limoges
Master 1 - Informatique et Mathématiques 2023-2024

(c) L2 ̸= L3
Exercice 10 :
Soit Σ un alphabet.
(a) L’ensemble Σ∗ des mots sur Σ est-il dénombrable ?
(b) L’ensemble des langages définis sur Σ est-il dénombrable ?
Exercice 11 :
L’ensemble des programmes que l’on peut écrire dans un langage de programmation quelconque (par exemple
en C) est-il dénombrable ?

Page 2

Vous aimerez peut-être aussi