Assistant: Stefano Scanzio
www: https://www.skenz.it/ss
email: stefano.scanzio [ AT_SYMBOL ] polito.it

• [2024/07/12]: New research Master Theses (Research thesis, four different topics, starting July-December 2024) (watch the video)
  
• [2024/06/03]: All the material has been uploaded on the website.
• [2024/04/22]: Added rules for assignments.
• [2024/04/09]: Updated practice calendar until the end of the course, added solution of the first laboratory, and text of the second laboratory.
• [2024/03/21]: Welcome to the Formal Languages and Compilers course.

• [2024/06/13] from 21:00 to 22:30 (VC “Portale della Didattica”) → Live virtual classroom tutoring about practice exam -(with assistant student)
• [2024/06/04] from 14:30 to 16:00 (room 2n) → Seventh classroom practice (EXAMS)
• [2024/05/30] from 17:30 to 19:00 (LABINF) → Sixth laboratory (Group L-Z)
• [2024/05/30] from 16:00 to 17:30 (LABINF) → Sixth laboratory (Group A-K)
• [2024/05/30] from 14:30 to 16:00 (room 10) → Sixth classroom practice
• [2024/05/23] from 17:30 to 19:00 (LABINF) → Sixth laboratory (Group L-Z)
• [2024/05/23] from 16:00 to 17:30 (LABINF) → Sixth laboratory (Group A-K)
• [2024/05/23] from 14:30 to 16:00 (room 10) → Fifth classroom practice
• [2024/05/16] from 17:30 to 19:00 (LABINF) → Fifth laboratory (Group L-Z)
• [2024/05/16] from 16:00 to 17:30 (LABINF) → Fifth laboratory (Group A-K)
• [2024/05/16] from 14:30 to 16:00 (room 10) → Fourth classroom practice
• [2024/05/09] from 17:30 to 19:00 (LABINF) → Fourth laboratory (Group L-Z)
• [2024/05/09] from 16:00 to 17:30 (LABINF) → Fourth laboratory (Group A-K)
• [2024/05/09] from 14:30 to 16:00 (room 10) → Third classroom practice
• [2024/05/02] from 17:30 to 19:00 (LABINF) → Third laboratory (Group L-Z)
• [2024/05/02] from 16:00 to 17:30 (LABINF) → Third laboratory (Group A-K)
• [2024/05/02] from 14:30 to 16:00 (room 10) → Second classroom practice
• [2024/04/11] from 17:30 to 19:00 (LABINF) → Second laboratory (Group L-Z)
• [2024/04/11] from 16:00 to 17:30 (LABINF) → Second laboratory (Group A-K)
• [2024/04/04] from 17:30 to 19:00 (LABINF) → First laboratory (Group L-Z)
• [2024/04/04] from 16:00 to 17:30 (LABINF) → First laboratory (Group A-K)
• [2024/04/04] from 14:30 to 16:00 (room 10) → First classroom practice
• [2024/03/21] from 21:00 to 22:30 (VC “Portale della Didattica”) → Live virtual classroom tutoring about tool installation (with assistant student)

Install Windows: How to download and install Jflex, Java, and Cup in the Windows operating system
Install Linux Bash: How to download, install and configure Jflex, Java, and Cup in the Ubuntu Linux operating system with bash shell
Install macOS: How to download, install and configure Jflex, Java, and Cup in the macOS operating system

• Practice 1: practice1_1.pdf, practice1_2.pdf, practice1_6.pdf
  Regular expressions and the scanner JFlex
  Other material: Context dependent regular expressions, inclusive states and exclusive states in Jflex
  
  Classroom example: exClass-1.zip.
  To compile and execute type the following commands:

  jflex exp.jflex
  javac Calc.java
  java Calc example_expr.txt

• Practice 2: practice2_1.pdf, practice2_2.pdf, practice2_6.pdf
  Grammar and introduction of Cup
  Example: exClass-2.zip.
  Video on how to compile the example:
  
  To compile and execute the example type the following commands:

  jflex scanner.jflex
  java java_cup.MainDrawTree parser.cup
  javac *.java
  java Main example_expr.txt

• Practice 3: practice3_1.pdf, practice3_2.pdf, practice3_6.pdf
  Ambiguous grammars, Lists, Handling syntax errors
  Additional material: complex example about shift/reduce conflicts: exClass-4.zip
  

• Practice 4: practice4_1.pdf, practice4_2.pdf, practice4_6.pdf
  Semantic: Synthesized attributes
  Classroom example: exClass-4b.zip
  Additional material: debugging features of the Cup parser
  
• Practice 5: practice5_1.pdf, practice5_2.pdf, practice5_6.pdf
  Semantic: Inherited attributes
  Classroom example (Inherithed attributes): exClass-5.zip
• Practice 6: practice6_1.pdf, practice6_2.pdf, practice6_6.pdf
  Type-checking and exam solution
  Commented exam: Exam 1.
  Solution: sol_exam1
• Practice 7: exam2.pdf, 20150903.pdf
  Solutions: Exam2: sol1, sol2, sol3
• Other material:
  Commented solution of 20150903.pdf exam: IMP: exam_20150903

• Laboratory 1: laboratory_1.pdf
  Regular expression and the scanner JFlex
  Before starting try to compile and to understand the following example: exClass-1.zip
  Solutions: Exercise 1, Exercise 2, Exercise 3
• Laboratory 2: laboratory_2.pdf
  Exercises regarding the JFlex scanner.
  Solutions: Exercise 1, Exercise 2
• Laboratory 3: laboratory_3.pdf
  Implement a parser for a simplified version of the C programming language (mini C), and a parser for all the C programming language
  Provided code: for the first exercise the scanner, the main file, the makefile and part of the parser are provided: compiler_es3_before.zip
  Solutions: Exercise 1, Exercise 2, Exercise 3
• Laboratory 4: laboratory_4.pdf
  Parsing of a logic program and error handling for the mini C programming language.
  Solutions: Exercise 1, Exercise 2
• Laboratory 5: laboratory_5.pdf
  Simple calculator.
  An example regarding synthesized attributes: exClass-4b.zip
  Solutions: Exercise 1
• Laboratory 6: laboratory_6.pdf
  Realize a translator from mini C to Pseudo Assembler.
  Description of the Pseudo Assembler language: interpreter.pdf
  Download the interpreter: interpreter.jar
  To solve the exercise start from the solution of the second exercise of laboratory 4: Exercise 2
  Solutions: Exercise 1
• Laboratory 7: laboratory_7.pdf
  Type checking

• Ply Examples: Laboratories solutions with Ply (i.e., scanner and parser in Python)
  • Ply: Mini guide about the use of the Ply scanner and parser
• Flex Bison Examples: Laboratories solutions with Flex and Bison (i.e., scanner and parser in C)
  • Flex Bison: Mini guide about the use of the Flex scanner and the Bison parser

The programming part of the exam can be performed by doing an assignment.

Assignments are reserved only for students attending the course the first time this semester.

Students have to send an application for the assignment to riccardo.sisto [at] polito.it and stefano.scanzio [at] polito.it within 29 April, 2024. The application must contain a curriculum, which has to include the known software and the list of passed exams, both master and bachelor degrees, with the related scores. In addition, students have to provide the list of assignments they are interested in, sorted by preference (most preferred first). The allocation of the assignments to students will be communicated within 03 May, 2024. Possibly, depending on the curriculum or on the number of requests, some requests may not be accepted.

The file with the list of assignments can be found under “Materiale Didattico 2023/24” in Portale della Didattica in the file “assignments_2023-2024.pdf”.

For any information do not hesitate to contact us.

• Flex Bison: Implementation of laboratories using the Flex scanner and the Bison parser in C
• Ply: Implementation of laboratories using the Ply scanner and parser
• Go to LLVM: Translator from the Go language to LLVM
• Julia to LLVM: Translator from the Julia language to LLVM

• LLVM: Guide about the use of LLVM
• Jflex: Official Jflex Website, Official Jflex Manual, Official Jflex Documentation
• CUP: Official CUP Website, Official CUP Documentation

• Description of the Pseudo Assembler language: interpreter.pdf
• Interpreter, jar version: interpreter.jar
  To run the interpreter: java -jar interpreter.jar <filename>
• Interpreter source code: interpreter.zip

• Some previous exams 20200720.pdf,20150903.pdf,20120626.pdf,20090909.pdf, 20081110.pdf, 20080912.pdf, 20080625.pdf, 20061107.pdf

New research Master Theses (Research thesis, four different topics, starting July-December 2024) (watch the video)

Thesis proposals can be downloaded here: https://www.skenz.it/ss/theses
If interested, for informations, contact: stefano.scanzio [ AT_SYMBOL ] polito.it www: https://www.skenz.it/ss