| Titre : | Calculabilité des langages |
| Auteurs : | Bernard Vauquois, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Grenoble [France] : Université de Grenoble, 1970 |
| Format : | Pagination multiple / ill. / 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 |
| Index. décimale : | 681.3.06 (Logiciels. Software) |
| Tags : | Fonctions calculables Linguistique mathématique |
| 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. |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 681.3.06 VAU | Papier | Bibliothèque Centrale | Informatique | Disponible | Consultation sur place |
