Documente Academic
Documente Profesional
Documente Cultură
Hiver 2015
Informations gnrales
Crdits : 3
Temps consacr : 3-0-6
Mode d'enseignement : Prsentiel
Site Web : aucun
Intranet Pixel : https://pixel.fsg.ulaval.ca
Enseignant(s) : Tesson, Pascal pascal.tesson@ift.ulaval.ca
Responsable : Tesson, Pascal pascal.tesson@ift.ulaval.ca
Date d'abandon sans chec avec
26 Janvier 2015 23h59
remboursement :
Date d'abandon sans chec sans
23 Mars 2015 23h59
remboursement :
Description sommaire
Introduction la thorie des machines abstraites et des langages formels. Classification des machines
abstraites : automates finis, automates pile, machine de Turing. Classification des langages :
rguliers, non contextuels, rcursifs, rcursivement numrables, non rcursivement numrables.
Grammaires : syntaxe, classification de Chomsky, rapports avec les machines abstraites et les
langages. Thorie des squences. Ensembles finis, infinis, dnombrables et non dnombrables.
Horaire et disponibilits
Objectifs
Description
Les automates constituent un puissant outil mathmatique de modlisation. La meilleure faon
d'apporter des solutions informatiques des problmes est de les abstraire en un modle sur lequel
1/8
nous pouvons raisonner facilement. Les automates constituent un des modles possibles. L'objectif
principal de ce cours est d'tudier les automates et leur pouvoir d'expression. Les automates, plus
prcisment, les machines de Turing servent tudier la notion de calculabilit. Nous verrons qu'il
existe une limite au pouvoir de calcul de n'importe quelle machine, c'est--dire qu'il existe des
problmes qu'aucune machine ne peut rsoudre. Les langages informatiques sont la base de tout
dveloppement. Le problme qui occupe une place centrale dans ce cours est celui de l'analyse des
langages formels; le cours prsente donc des connaissances utiles l'tude de la compilation des
langages de programmation. Nous tudierons des mcanismes de reconnaissance des diverses classes
de langages (automates, machines de Turing), ainsi que les grammaires permettant de gnrer ces
langages.
Objectifs gnraux et spcifiques
1.
a. Langages formels
b. Automates finis, automates pile et Machines de Turing
c. Grammaires
d. Expressions rgulires
2.
3.
4.
Contenu
Note : Le dcoupage de la matire n'est donn qu' titre indicatif. Il pourrait y avoir un dcoupage
diffrent de la matire en fonction du rythme d'avancement dans le cours.
Chapitre 0 Prliminaires et rvision
(le contenu de ce chapitre tant couvert par le cours MAT-22257, nous n'en ferons qu'un bref rappel).
Chapitre 1 Automates finis et langages rguliers
Automates finis et langages rguliers
Notion de langage
Alphabets
Langages
Diagrammes de transitions
Automates finis dterministes
Limites des automates dterministes
Langages rguliers
Langages non rguliers
Automates finis non dterministes
Grammaires rgulires
2/8
Expressions rgulires
Union de deux langages
Concatnation de deux langages
Fermeture d'un langage
Expressions rgulires
Chapitre 2 Automates pile, langages non contextuels
Automates pile
Grammaires non contextuelles
Forme normale de Chomsky
Limites des automates pile
La porte des langages non contextuel
Automates pile dterministes
Chapitre 3 Machines de Turing
Machines de Turing
Reconnaissance de langages
Dfinition de la reconnaissance
Dfinition quivalente de reconnaissance
Machines de Turing plusieurs rubans
Machines de Turing non dterministes
Langages Turing-acceptables
Dcidabilit
Encodage des machines de Turing
Un langage qui n'est pas Turing acceptable
Machines de Turing universelles
Langages acceptables versus langages dcidables
Le problme de l'arrt
Modalits d'valuation
Examen
Date
Heure
Pondration
de
la note finale
Document(s) autoris(s)
Examen de
mi-session
Jeudi 26 fvrier
2015
15h30
18h30
35.00%
Aucun
Examen final
Jeudi 23 avril
2015
15h30
18h30
35.00%
Aucun
Travail
Devoir 1
Devoir 2
quipes
Individuel
Individuel
Date d'chance
Jeudi 12 fvrier
2015
Jeudi 26 mars 2015
Heure
Date
d'activit
Heure
Pondration de la note
finale
18h20
n/a
n/a
10.00%
18h00
n/a
n/a
10.00%
3/8
Devoir 3
Individuel
valuation
18h00
n/a
9.00%
Date de fin
Pondration de
la note finale
1.00%
Date de dbut
n/a
tout dbut de la session, avant la fin de la priode de modification de choix de cours, par
l'tudiant lui-mme. Un tudiant inscrit l'un de nos cours aprs cette date est rput ne pas
avoir de conflit d'horaire pour passer ses examens.
Toute absence justifie un examen entrane l'obligation pour l'tudiant de passer un examen
report. Un seul examen report aura lieu pour ce cours et il s'agira d'un examen rcapitulatif.
Cet examen se droulera normalement durant le week-end (soit entre le vendredi aprs-midi et
le dimanche soir) de la premire semaine de cours de la session acadmique suivante.
L'tudiant a l'obligation de se rendre disponible cette date, sans quoi il obtiendra la note
de 0 pour cet examen. Les examens reports de l'automne 2014 auront lieu le samedi 17
janvier 2015, ceux de l'hiver 2015 doivent avoir lieu le samedi 9 mai 2015 et ceux de l't
2015 devraient normalement avoir lieu le samedi 5 septembre 2015. Les examens de reprise
n'auront lieu qu' l'Universit Laval pour les cours distance.
L'tudiant trouvera sur son guichet tudiant la politique dpartementale relative aux examens; il ou elle
est rput(e) en avoir pris connaissance.
Dans le cadre d'un travail, toute communication entre quipes est strictement dfendue.
Toute personne prise plagier, tricher, activement ou passivement, ou contrevenir aux
directives donnes dans le cadre d'un examen ou d'un travail not et contributoire la note
finale du cours, peu importe la pondration attribue l'examen ou au travail en question, fera
face aux consquences de ses gestes, qui peuvent aller jusqu' l'exclusion de son programme
de formation. Une politique stricte de tolrance zro est applique en tout temps et sous toutes
circonstances. Tous les cas seront rfrs la direction du Dpartement.
A [ 86.00 - 89.99 ]
A- [ 82.00 - 85.99 ]
Russite
B+ [ 79.00 - 81.99 ]
B [ 76.00 - 78.99 ]
B- [ 73.00 - 75.99 ]
Russite
C+ [ 70.00 - 72.99 ]
C [ 67.00 - 69.99 ]
C- [ 65.00 - 66.99 ]
Russite
D+ [ 62.00 - 64.99 ]
D [ 60.00 - 61.99 ]
E [ 0.00 - 59.99 ]
X
Russite
chec
Abandon sans chec
(dans les dlais prvus)
Mthodologie
Cours
Cours magistraux, 3 heures par semaine. Des sances d'exercices prparatoires pour les examens
auront lieu si besoin est.
Bibliographie
Obligatoires
1.
Notes de cours, obligatoires et trs utiles. Ces notes ne sont plus imprimes mais sont disponibles
en version lectronique sur le site du cours.
2.
Les actates utilises comme support pdagogique. Ces actates sont disponibles sur la page web
du cours. Elles sont obligatoires et contiennent des solutions certains exercices qui n'existent pas
dans les notes de cours ainsi que de la matire qui n'est pas dans les notes de cours.
3.
Des documents complmentaires apportant des clarifications, des exercices supplmentaires
avec leurs solutions, etc. Ces documents sont obligatoires et seront mis sur la page web et annoncs
dans la rubrique nouvelles de cette page.
4.
Des documents servant prparer les examens seront galement disponibles sur la page web.
Non obligatoires
1. J. E. Hopcroft, R. Motwani, J. D. Ullman. Introduction to Automata Theory, Languages and
Computation, (2me dition), Addison-Wesley, 2001. ISBN 0-201-44124-1.
2. M. Sipser. Introduction to the Theory of Computation (2006 pour la seconde dition). ISBN
9780534950972
3. J. Glenn Brookshear. Theory of computation. Formal laguages, automata, and complexity.
The Benjamin/Cummings Publishing Company, Redwood city, CA, 1989.
Sharp
7/8
Les tudiants qui ont une lettre d'Attestation d'accommodations scolaires obtenue auprs d'un
conseiller du secteur Accueil et soutien aux tudiants en situation de handicap (ACSESH) doivent
imprativement se conformer la politique d'Accommodations scolaires
aux examens de la Facult des sciences et de gnie qui peut tre consulte l'adresse
: http://www.fsg.ulaval.ca/fileadmin/fsg/documents/PDF/Politique-Facultaire-Accommodements.pdf
8/8