Titre : | Théorie des langages : cours et exercices corrigés | Type de document : | texte imprime | Auteurs : | Salem Khemliche, Auteur | Année de publication : | D.2017 | ISBN/ISSN/EAN : | 978-9947-34-111-7 | Note générale : | Bibliogr. | Langues : | Français | Mots-clés : | Théorie des langages formels Mathématiques Systèmes de réécriture | Résumé : |
Ce livre est une introduction aux langages formels ,qui constituent un des fondements de la sciences informatique.Il conciliant à la fois le cours,les exercices et leurs solutions en tentant de donner les éléments nécessaires aux lecteurs intéressés par le domaine.,tout en proposant à la fin de chaque chapitre une série d'exercices avec leurs corrigés.Aussi ,il couvre la totalité des programmes des étudiants informaticiens en ingéniorat et en LMD. Il s'adresse également aux étudiants en informatiques discrètes.
La théorie des langages est à l'origine des différents domaines d'applications ,tels que la compilation des langages de programmation évolués,la modélisation dans la vérification et la validation des systèmes physiques .Par le mot "formel"on comprend que le concept est exprimé dans un langage mathématique ,ou dans un formalisme rigoureusement défini ,en faisant abstraction de son sens en ne tenant compte que de son aspect syntaxique . | Note de contenu : |
Rappels de quelques notions utiles de mathématiques
Notions de base de la théorie des langages
Systèmes de réécriture et typologie des grammaires
Les langages réguliers
Expressions régulières et automates minimales
Les langages à contexte libres
Les langages sensibles au contexte (à contexte lié)
Langages de type "0" et éléments de la théorie de la calculabilité | Permalink : | ./index.php?lvl=notice_display&id=32876 |
Théorie des langages : cours et exercices corrigés [texte imprime] / Salem Khemliche, Auteur . - D.2017. ISBN : 978-9947-34-111-7 Bibliogr. Langues : Français Mots-clés : | Théorie des langages formels Mathématiques Systèmes de réécriture | Résumé : |
Ce livre est une introduction aux langages formels ,qui constituent un des fondements de la sciences informatique.Il conciliant à la fois le cours,les exercices et leurs solutions en tentant de donner les éléments nécessaires aux lecteurs intéressés par le domaine.,tout en proposant à la fin de chaque chapitre une série d'exercices avec leurs corrigés.Aussi ,il couvre la totalité des programmes des étudiants informaticiens en ingéniorat et en LMD. Il s'adresse également aux étudiants en informatiques discrètes.
La théorie des langages est à l'origine des différents domaines d'applications ,tels que la compilation des langages de programmation évolués,la modélisation dans la vérification et la validation des systèmes physiques .Par le mot "formel"on comprend que le concept est exprimé dans un langage mathématique ,ou dans un formalisme rigoureusement défini ,en faisant abstraction de son sens en ne tenant compte que de son aspect syntaxique . | Note de contenu : |
Rappels de quelques notions utiles de mathématiques
Notions de base de la théorie des langages
Systèmes de réécriture et typologie des grammaires
Les langages réguliers
Expressions régulières et automates minimales
Les langages à contexte libres
Les langages sensibles au contexte (à contexte lié)
Langages de type "0" et éléments de la théorie de la calculabilité | Permalink : | ./index.php?lvl=notice_display&id=32876 |
|  |