| Titre : |
Calculabilité des langages |
| Type de document : |
texte imprimé |
| Auteurs : |
Bernard Vauquois, Auteur |
| Editeur : |
Grenoble [France] : Université de Grenoble |
| Année de publication : |
1970 |
| Importance : |
Pagination multiple |
| Présentation : |
ill. |
| Format : |
29 cm |
| Note générale : |
La page de couv. et de titre porte en plus : Logique et programmation, C3 Maitrise d'informatique. |
| Langues : |
Français (fre) |
| Mots-clés : |
Fonctions calculables
Linguistique mathématique |
| Index. décimale : |
681.3.06 Logiciels. Software |
| Note de contenu : |
Au sommaire :
I. Introduction aux langages, grammaires et automates.
1. Notion de langage formel.
2. Langages de kleene.
3. Langages hors contexte.
II. théorie de la calculabilité.
1. Rappels de logique
2. Notion de calculabilité et d’algorithme.
3. Fonctions récursives primitives.
4. Fonctions récursives et fonction partielles récursives.
5. Machines de Turing fonctions T calculables et fonctions partielles, T calculables.
6. Équivalence des fonctions récursives et des fonctions partielles T calculables.
III. Problèmes de décision.
1. Prédicats semi-calculables, ensembles récursivement énumérables, notion de décidabilité.
2. Système combinatoires.
3. Problèmes indécidables de la théorie des langages. |
Calculabilité des langages [texte imprimé] / Bernard Vauquois, Auteur . - Grenoble [France] : Université de Grenoble, 1970 . - Pagination multiple : ill. ; 29 cm. La page de couv. et de titre porte en plus : Logique et programmation, C3 Maitrise d'informatique. Langues : Français ( fre)
| Mots-clés : |
Fonctions calculables
Linguistique mathématique |
| Index. décimale : |
681.3.06 Logiciels. Software |
| Note de contenu : |
Au sommaire :
I. Introduction aux langages, grammaires et automates.
1. Notion de langage formel.
2. Langages de kleene.
3. Langages hors contexte.
II. théorie de la calculabilité.
1. Rappels de logique
2. Notion de calculabilité et d’algorithme.
3. Fonctions récursives primitives.
4. Fonctions récursives et fonction partielles récursives.
5. Machines de Turing fonctions T calculables et fonctions partielles, T calculables.
6. Équivalence des fonctions récursives et des fonctions partielles T calculables.
III. Problèmes de décision.
1. Prédicats semi-calculables, ensembles récursivement énumérables, notion de décidabilité.
2. Système combinatoires.
3. Problèmes indécidables de la théorie des langages. |
|
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheCalculabilité des langages (1970)
