Bienvenue
Bienvenue dans le cours Automates, Langages Formels et Compilateurs.
Tout au long du cours, vous apprenez comment fonctionnent les processeurs informatiques, les langages de programmation et comment les compilateurs transforment un langage de haut niveau en code lisible par machine.
Au laboratoire, vous implémenterez des lexers, des analyseurs et des générateurs de code dans Kotlin.
Comme devoir, vous construiriez votre propre petit compilateur de langage qui génère du code WebAssembly (WASM).
Équipe
Alexandru Radovici
Professeur de cours | Amalia Simion
Responsable des devoirs | Adrian Popescu
Professeur de TP |
Mihai Costin
TP & Framework auteur |
Horaire
| Activité | Goupe | Jour | Heure | Salle |
|---|---|---|---|---|
| Cours | tous les étudiants | Jeudi | 10 - 12 | PR002 |
| TP | 1220A + 1221 sous groupe 1 | Mardi | 14 - 16 | EG 306 |
| TP | 1220B + 1221 sous groupe 2 | Mardi | 12 - 14 | EG 306 |
Système de notation
| Partie | Description | Points |
|---|---|---|
| Tests de cours | Vous passerez un test au début de chaque cours avec des questions sue le cours précédent. | 5p |
| Tests de TP | Vous passerez un test au début de chaque laboratoire avec des questions sur le TP précédent. | 3p |
| Examen | L'examen au dernier cours. | 2p |
| Total | Vous avez besoin de 5 points pour réussir le cours. | 10p |
Règles
- Vous pouvez vous absenter sans motivation pendant un maximum de 1 TPs.
- Les TPs NE PEUVENT PAS ÊTRE RÉCUPÉRÉS
- Vous pouvez motiver l’absence aux TP (motif médical) dans maximum 2 semaines de la date de votre absence
- Chaque étudiant doit venir avec son groupe au TP, s'il y a des problèmes vous devez annoncer en avance.
- Vous pouvez être en retard de 10 minutes maximum au TP
- Les étudiants qui rattrapent la matière peuvent participer aux TPs seulement s'il y a des places libres. Afin d'obtenir des points, ils doivent résoudre des devoirs et passer l'examen final
- Vous aurez besoin d'un compte github avec votre nom complet et une vraie photo de profil.
- Pour 2 devoirs copiés (d'autres collègues ou des étudiants des années passées), vous allez échouer la matière
- Vous avez besoin d'au moins 5 points pour réussir l'examen
Bibliographie
- Keith Cooper, Linda Torczon, Engineering a Compiler
- Terence Parr, The Definitive ANTLR 4 Reference, 2nd Edition
- Rick Battagline, The Art of WebAssembly, Build Secure, Portable, High-Performance Applications
- Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman, Compilers: Principles, Techniques, and Tools (2nd Edition)
- John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, 3rd Edition
- Andrew Tanenbaum, Modern Operating Systems (4th Edition)
- Kotlin Documentation, Get started with Kotlin lien