|
| Titre : | Conception et implémentation d’un générateur automatique d’automates d’états finis déterministes et leurs représentations graphiques, à partir d’expressions régulières | | Type de document : | theses et memoires | | Auteurs : | Lilia Djermane ; Chabane Hemdani, Directeur de thèse | | Editeur : | Tizi Ouzou : UMMTO.FGEI | | Année de publication : | 2016 | | Importance : | 49 p. | | Présentation : | ill. | | Format : | 30 cm. | | Note générale : | Bibliogr. | | Langues : | Français | | Mots-clés : | Longage formels Expressions reguliéres Automatic | | Résumé : | Pour participer à l'effort de développement d'outils logiciels facilitant la description
et la reconnaissance de langages formels, on se propose dans ce projet de concevoir et
d'implémenter un outil permettant de faciliter la spécification des langages réguliers et
d'automatiser le processus de construction d'automates ainsi que leurs représentation
graphiques sous formes d'images. En d'autres termes, il s'agit de concevoir et d'implémenter
un générateur automatique d'automates d'états finis simples et déterministes à partir d'une
expression régulière.
La réalisation de ce projet nous a été très enrichissante dans la mesure où elle nous Ã
permis d'approfondir nos connaissances en théorie des langages formels. Elle nous à permis
aussi de mesurer la puissance des expressions régulières et des grammaires formelles dans
la description et des automates finis dans la reconnaissance de ces langages qui sont à la
base de tous les langages informatiques. Ce projet nous a aidé à adopter une vision
conceptuelle dans l'organisation des données lors de l'implémentation des différents
algorithmes, en nous confrontant à l'automatisation du traitement, de l'analyse et de la
reconnaissance.
Ce projet nous a permit également de maîtriser d'avantage le système GNU/Linux
ainsi qu'une multitude d'outils tels que ceux de la chaîne de compilation gcc, les outils Fex,
yacc, make et graphviz, très utilisés par les chercheurs et développeurs à travers le monde.
Notre travail ouvre plusieurs perspectives notamment l'implémentation de la procédure de
minimisation qui permettra d'optimiser les ressources en espace mémoire et en temps
d'exécution.
Le générateur qui en résulterait fera correspondre à chaque DFA un DFA minimal
ayant moins d'états et transitions et reconnaissant le même langage. | | En ligne : | D:\CD.TH .2016\MASTER INF\DJERMANE L..PDF | | Format de la ressource électronique : | PDF | | Permalink : | ./index.php?lvl=notice_display&id=30850 |
Conception et implémentation d’un générateur automatique d’automates d’états finis déterministes et leurs représentations graphiques, à partir d’expressions régulières [theses et memoires] / Lilia Djermane ; Chabane Hemdani, Directeur de thèse . - Tizi Ouzou (Tizi Ouzou) : UMMTO.FGEI, 2016 . - 49 p. : ill. ; 30 cm. Bibliogr. Langues : Français | Mots-clés : | Longage formels Expressions reguliéres Automatic | | Résumé : | Pour participer à l'effort de développement d'outils logiciels facilitant la description
et la reconnaissance de langages formels, on se propose dans ce projet de concevoir et
d'implémenter un outil permettant de faciliter la spécification des langages réguliers et
d'automatiser le processus de construction d'automates ainsi que leurs représentation
graphiques sous formes d'images. En d'autres termes, il s'agit de concevoir et d'implémenter
un générateur automatique d'automates d'états finis simples et déterministes à partir d'une
expression régulière.
La réalisation de ce projet nous a été très enrichissante dans la mesure où elle nous Ã
permis d'approfondir nos connaissances en théorie des langages formels. Elle nous à permis
aussi de mesurer la puissance des expressions régulières et des grammaires formelles dans
la description et des automates finis dans la reconnaissance de ces langages qui sont à la
base de tous les langages informatiques. Ce projet nous a aidé à adopter une vision
conceptuelle dans l'organisation des données lors de l'implémentation des différents
algorithmes, en nous confrontant à l'automatisation du traitement, de l'analyse et de la
reconnaissance.
Ce projet nous a permit également de maîtriser d'avantage le système GNU/Linux
ainsi qu'une multitude d'outils tels que ceux de la chaîne de compilation gcc, les outils Fex,
yacc, make et graphviz, très utilisés par les chercheurs et développeurs à travers le monde.
Notre travail ouvre plusieurs perspectives notamment l'implémentation de la procédure de
minimisation qui permettra d'optimiser les ressources en espace mémoire et en temps
d'exécution.
Le générateur qui en résulterait fera correspondre à chaque DFA un DFA minimal
ayant moins d'états et transitions et reconnaissant le même langage. | | En ligne : | D:\CD.TH .2016\MASTER INF\DJERMANE L..PDF | | Format de la ressource électronique : | PDF | | Permalink : | ./index.php?lvl=notice_display&id=30850 |
|
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesConception et implémentation d’un générateur automatique d’automates d’états finis déterministes et leurs représentations graphiques, à partir d’expressions régulières / Lilia Djermane (2016)
