Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
7Activity
0 of .
Results for:
No results containing your search query
P. 1
Généralisation des Automates Généralisés, Automates d'expression

Généralisation des Automates Généralisés, Automates d'expression

Ratings:

5.0

(3)
|Views: 282|Likes:
Published by Vaseltior

More info:

Categories:Types, School Work
Published by: Vaseltior on Aug 26, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

05/09/2014

pdf

text

original

 
Universit´e des Sciences et des Techniques de RouenMaster 2 ITAApplications des automates2004-2005
G´en´eralisation des Automates G´en´eralis´esAutomates d’Expression
Samuel
Grau
<samuel.grau@club-internet.fr>
 
Table des mati`eres
Introduction 31 Rappels et D´enitions 4
1.1 Rappel Historique . . . . . . . . . . . . . . . . . . . . . . . . 41.2 Pr´eliminaires . . . . . . . . . . . . . . . . . . . . . . . . . . . 51.2.1 Automates . . . . . . . . . . . . . . . . . . . . . . . . 61.2.2 Lid´ee dEilenberg . . . . . . . . . . . . . . . . . . . . 71.2.3 Automates en´eralis´es eterministes . . . . . . . . . . 8
2 Applications 10
2.1 Automates dexpression . . . . . . . . . . . . . . . . . . . . . 102.1.1´Elimination des ´etats . . . . . . . . . . . . . . . . . . . 132.2 Automates d’expression D´eterministes . . . . . . . . . . . . . 172.2.1 D´enition . . . . . . . . . . . . . . . . . . . . . . . . . 182.2.2 Propri´et´es . . . . . . . . . . . . . . . . . . . . . . . . . 192.3 Minimisation des Automates d’expression . . . . . . . . . . . 212.3.1 D´enition . . . . . . . . . . . . . . . . . . . . . . . . . 212.3.2 Algorithme . . . . . . . . . . . . . . . . . . . . . . . . 232.4 Langages Rationnels sans pr´efixes, premiers . . . . . . . . . . 24
Conclusion 26
2
 
Introduction
Ce document aura comme cons´equence, l’´etude de l’article de Y. Hannet D. Wood [3] pour lequel nous suivrons le plan propos´e par l’article origi-nal. Nous tenterons d’apporter quelques preuves`a celles introuvables dansl’article, sachant que celles-ci sont nombreuses et leur absence, intention-nelle.Nous explorerons dans ce papier, les
Automates d’expression 
en cequi concerne leur d´eterminisme, leur minimisation et leur primalit´e. Nousverrons comment d´efinir le d´eterminisme de ces automates d’expressionen utilisant la notion de libert´e de pr´efixe. Cette approche est d’une certainemani`ere, similaire`a la d´efinition propos´ee par Giammarresi et Montalbanopour les automates d’expression d´eterministes et nous y verrons commentla nouvelle d´efinition est plus fine.Nous prouverons aussi que les langages reconnus par les automatesd’expression d´eterministes forment une sous-famille propre des langagesrationnels ainsi que certaines m´ethodes permettant de d´efinir la minimisa-tion et le d´eterminisme des automates d’expression. Il sera enfin discut´edes langages rationnels sans pr´efixes.Partant de ces id´ees, nous nous´evertuerons d’expliciter les passagessombres de l’article, en apportant la traduction en pseudo-code des algo-rithmes propos´es et nous appr´ecierons l’int´erˆet de ces nouveaux automa-tes dans la mesure de nos capacit´es.
3

Activity (7)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
Mycompte Hukkers liked this
Souhaib Soufi liked this
Hamza Chenaker liked this
yassmiks liked this
Youssef Azaroual liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->