Vous êtes sur la page 1sur 8

PLAN DE COURS

Hiver 2015

IFT-2002 20503 - Informatique thorique

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

Cours en classe : Jeudi


15h30 18h20 VCH-2860
Disponibilit de l'enseignant : Mardi
14h00 16h00 PLT-3958 (du 21 janv. au 30 avril)
Mercredi 14h00 16h00 PLT-3958 (du 21 janv. au 30 avril)

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.

Apprendre manipuler les modles mathmatiques suivants

a. Langages formels
b. Automates finis, automates pile et Machines de Turing
c. Grammaires
d. Expressions rgulires
2.

Comprendre les liens entre les diffrents modles

3.

Comprendre les limitations de chaque modle et son pouvoir d'expression

4.

Comprendre les notions de calculabilit et dcidabilit travers les machines de Turing

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

Jeudi 16 avril 2015

valuation

18h00

n/a

9.00%

Date de fin

Pondration de
la note finale

Vendredi 17 avril 2015 23h55

1.00%

Date de dbut

valuation de l enseignement Lundi 6 avril 2015 00h05

n/a

Politiques sur les examens


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 complter un rapport d'anomalie sur Pixel cet effet au dbut de la session. Les tudiants
doivent galement rencontrer leur professeur au dbut de la session afin que des mesures
d'accommodations en classe ou lors des valuations puissent tre prvues et planifies suffisamment
l'avance puis mises en place. Ceux qui ont une dficience fonctionnelle ou un handicap, mais qui n'ont
pas cette lettre doivent contacter le secteur ACSESH au 656-2880 le plus tt possible.
Les tudiants inscrits dans un cours distance et rsidant, durant leurs tudes, plus de 100 km de la
ville de Qubec doivent procder l'inscription pour le lieu d'examen au plus tard le 27 janvier
l'adresse suivante : www.distance.ulaval.ca/lieu_examen
Concernant une absence un examen, le plus rapidement possible, et ce dans un dlai maximal de 3
jours ouvrables l'tudiant doit utiliser le formulaire Web cet effet qu'il ou elle trouvera sur son
guichet tudiant. Sans quoi, une note de 0 sera automatiquement alloue pour cet examen.
Seuls motifs acceptables pour s'absenter un examen :
1. incapacit pour l'tudiant de passer l'examen durant la plage horaire de cet examen,
tre mentionn comme tel par un billet prcis d'un mdecin (incluant les coordonnes de ce
dernier), suite une consultation mdicale. Ce billet doit tre prsent la direction du
dpartement (tel qu'indiqu dans les instructions associes au formulaire Web remplir), qui
le dposera au dossier de l'tudiant. L'enseignant n'intervient pas dans ce processus mais en est
inform automatiquement, d'o la ncessit pour l'tudiant de remplir ce formulaire Web
le plus rapidement possible, car dans l'attente, une note de 0 est automatiquement attribue
l'tudiant pour cette preuve.
2. mortalit d'un proche, tre document par une preuve de dcs de la personne et une lettre
d'une tierce personne attestant du lien de parent ou autre entre l'tudiant et la personne
dcde. Ces pices doivent galement tre prsentes la direction du dpartement (tel
qu'indiqu dans les instructions associes au formulaire Web remplir). L'enseignant
n'intervient pas dans ce processus mais en est inform automatiquement, d'o la ncessit
pour l'tudiant de remplir ce formulaire Web le plus rapidement possible, car dans
l'attente, une note de 0 est automatiquement attribue l'tudiant pour cette preuve.
Aucune justification d'absence relie des vnements sportifs (sauf pour les athltes du
Rouge et Or ou d'quipes nationales, sur approbation pralable de la direction du
Dpartement), un travail, un conflit d'horaire avec d'autres cours ou examens, des
horaires de voyage conflictuels (selon des billets d'avion dj achets par exemple), ou des
motifs religieux quelconques n'est acceptable. Les conflits d'horaire doivent tre rsolus au
4/8

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.

Politiques sur les travaux

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.

chelle des cotes (cycle 1)

chelle des cotes


A+ [ 90.00 - 100 ]

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)

Politique sur les cotes


L'enseignant se rserve le droit d'ajuster quelque peu cette rpartition des cotes afin de rflter
l'valuation juste des tudiants du cours.
5/8

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.

Politique sur l'utilisation d'appareils lectroniques pendant une sance d'valuation


L'utilisation d'appareils lectroniques (cellulaire ou autre appareil tlphonique sans fil, pagette,
baladeur, agenda lectronique, etc.) est interdite au cours d'une sance d'valuation et de toute autre
activit durant laquelle l'enseignant l'interdit.
De plus, seuls certains modles de calculatrices sont autoriss durant les sances d'valuation.
Les modles suivants sont autoriss :
Hewlett Packard HP 20S, HP 30S, HP 32S2, HP 33S, HP 35S
Texas Instrument TI-30Xa, TI-30XIIB, TI-30XIIS, TI-36X, BA35
6/8

Sharp

EL-531*, EL-535-W535, EL-546*, EL-510 R, EL-520*


FX-260, FX-300 MS, FX-350 MS, FX-300W Plus, FX-991MS,
Casio
FX-991ES
* Calculatrices Sharp: sans considration pour les lettres qui suivent le numro
Dans tous ces cas, la calculatrice doit tre valide par une vignette autocollante mise par la COOP
tudiante ZONE.
Information spcifique aux tudiants de l'cole d'actuariat
Les calculatrices autorises lors des examens sont uniquement les modles rpondant aux normes de la
Society of Actuaries et de la Casualty Actuarial Society pour leurs examens, soit les modles Texas
Instruments suivants :
BA-35 (solaire ou pile)
BA II Plus
BA II Plus Professional
TI-30Xa
TI-30X II (IIS ou IIB)
TI-30X MultiView (XS ou XB)

Politique sur le plagiat et la fraude acadmique


Rgles disciplinaires
Tout tudiant qui commet une infraction au Rglement disciplinaire l'intention des tudiants de
l'Universit Laval dans le cadre du prsent cours, notamment en matire de plagiat, est passible des
sanctions qui sont prvues dans ce rglement. Il est trs important pour tout tudiant de prendre
connaissance des articles 28 32 du Rglement disciplinaire. Celui-ci peut tre consult l'adresse
suivante:
http://www.ulaval.ca/sg/reg/Reglements/Reglement_disciplinaire.pdf
Plagiat
Tout tudiant est tenu de respecter les rgles relatives au plagiat. Constitue notamment du plagiat le
fait de:
1. copier textuellement un ou plusieurs passages provenant d'un ouvrage sous format papier ou
lectronique sans mettre ces passages entre guillemets et sans en mentionner la source;
2. rsumer l'ide originale d'un auteur en l'exprimant dans ses propres mots (paraphraser) sans en
mentionner la source;
3. traduire partiellement ou totalement un texte sans en mentionner la provenance;
4. remettre un travail copi d'un autre tudiant (avec ou sans l'accord de cet autre tudiant);
5. remettre un travail tlcharg d'un site d'achat ou d'change de travaux scolaires.
L'Universit Laval tant abonne un service de dtection de plagiat, il est possible que l'enseignant
soumette vos travaux pour analyse.

tudiants ayant un handicap, un trouble d apprentissage ou un trouble mental

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