# Weekly Schedule for the Lectures, Exercises, Consultation Times and Individual Help -- VT18

[ Week 1 | Week 2 | Week 3 | Week 4 | Week 5 | Week 6 | Week 7 | Week 8 | Week 9 ]

Note: Below is a tentative schedule for lectures and excersise session. The content of each lecture and excersise session, or the deadline for assignments will be updated during the running of the course to take possible deviations into account.

See link at Time Edit for the up-to-date schedule during VT18.

Terminology:

• Lec: Lectures.
• Ex: Exercise classes. The tutor will work on the blackboard on a predefined set of exercises. Students are encourage to try the exercises prior to the class in order to take the most out of it. There will be two instances for the same exercise class; you can choose the one that suits you best.
• CT: Consultation time (konsultationstid). Similar to the exercise class, but those attending the consultation time decide on what exercises we work with. We could even revise concepts or other things which you need help with.
• IH: Individual help (frågastund). During this time you have the opportunity to ask a concrete question about a particular exercise you have problems with one-to-one to the teacher. This requires you have already tried to solve the exercise and got stuck in some way.
• MB: Main book of the course Introduction to Automata Theory, Languages, and Computation.
• MCS: Mathematics for Computer Science.

Week 1
 Monday 19 Mar Lec, 13-15, HB3: Ana Overview and organisation. Slides-1 (pdf)
 Tuesday 20 Mar Lec, 10-12, HB3: Ana Recap on logic, sets, relations and functions. Slides-2 (pdf) MCS: 3--4.
 Wednesday 21 Mar
 Thursday 22 Mar Ex, 10-12, HC3: Ana Logic, sets, relations and functions. Recap Exercises (pdf) Lec, 13-15, HB3: Ana Formal proofs. Induction over N. Ind sets. Rec functions. Slides-3 (pdf) MB: 1.2--1.4. MCS: 1, 5. Notes
 Friday 23 Mar Lec, 13-15, HB3: Ana Structural induction. Concepts of automata theory. Slides-4 (pdf) MCS: 5. MB: 1. Notes

[top]

Week 2 Assignment-1: Formal proofs (pdf)     Deadline: 29 March 23:59
 Monday 26 Mar Lec, 13-15, HB3: Ana DFA. Slides-5 (pdf) MB: 2--2.2. Ex, 15-17, EA: Victor Formal proofs, induction, ind sets, rec funcitons. Exercises-1 (pdf) (Same as in Tuesday.)
 Tuesday 27 Mar Ex, 10-12, EA: Andrea Formal proofs, induction, ind sets, rec funcitons. Exercises-1 (pdf) (Same as in Monday.)
 Wednesday 28 Mar IH, 8-10, ES51: Ana CT, 15-17, EL41: Ana
 Thursday 29 Mar
 Friday 30 Mar

[top]

Week 3 Assignment-2: DFA, NFA (pdf)     Deadline: 15 April 23:59
 Monday 9 Apr Lec, 13-15, HB3: Ana NFA, subset construction. Slides-6 (pdf) MB: 2.3--2.3.5, brief on 2.4. Ex, 15-17, EA: Victor DFA, NFA. Exercises-2 (pdf) Some exercise for W4. (Same as in Tuesday.)
 Tuesday 10 Apr Ex, 10-12, EA: Andrea DFA, NFA. Exercises-2 (pdf) Some exercise for W4. (Same as in Monday.)
 Wednesday 11 Apr CT, 15-17, EL41: Ana
 Thursday 12 Apr IH, 10-12, EL41: Ana Lec, 13-15, HB3: Ana NFA, e-NFA. Slides-7 (pdf) MB: 2.3.6, 2.5--2.5.5.
 Friday 13 Apr

[top]

Week 4 Assignment-3: e-NFA, RE (pdf)     Deadline: 22 April 23:59
 Monday 16 Apr Lec, 13-15, HB3: Ana RE, FA->RE. Slides-8 (pdf) MB: 3.1, (3.4), 3.2.2. Ex, 15-17, EA: Victor e-NFA, RE. Exercises-2 (pdf) Exercises-3 (pdf) (Same as in Tuesday.)
 Tuesday 17 Apr Ex, 10-12, EB: Andrea e-NFA, RE. Exercises-2 (pdf) Exercises-3 (pdf) (Same as in Monday.)
 Wednesday 18 Apr CT, 15-17, EL41: Ana
 Thursday 19 Apr IH, 10-12, ES61: Andrea Lec, 13-15, HB3: Ana RE->FA, RL. Slides-9 (pdf) MB: 3.2.3, 3.4, 4--4.2.1. Notes.
 Friday 20 Apr

[top]

Week 5 Assignment-4: RL (pdf)     Deadline: 29 April 23:59
 Monday 23 Apr Lec, 13-15, HB3: Ana RL. Slides-10 (pdf) MB: 4.3--4.4. Ex, 15-17, EA: Marco RL. Exercises-4 (pdf) (Same as in Tuesday.)
 Tuesday 24 Apr Ex, 10-12, EA: Marco RL. Exercises-4 (pdf) (Same as in Monday.)
 Wednesday 25 Apr CT, 15-17, EL41: Ana
 Thursday 26 Apr IH, 10-12, ES61: Ana Lec, 13-15, HB3: Ana CFG. Slides-11 (pdf) MB: 5--5.2.2. Notes.
 Friday 27 Apr

[top]

Week 6
 Monday 30 Apr
 Tuesday 1 May
 Wednesday 2 May CT, 15-17, EL41: Ana
 Thursday 3 May Lec, 13-15, HB3: Ana CFG. Slides-12 (pdf) MB: 5.2.3--5.2.6, 5.4.
 Friday 4 May

[top]

Week 7 Assignment-5: CFG (pdf)     Deadline: 13 May 23:59
 Monday 7 May Lec, 13-15, HB3: Ana CFL. Guest lecture by Martin Fabian. Slides-13 (pdf) MB: 7.1. Ex, 15-17, EA: Daniel CFG. Exercises-5 (pdf) (Same as in Tuesday.)
 Tuesday 8 May Ex, 10-12, EA: Marco CFG. Exercises-5 (pdf) (Same as in Monday.)
 Wednesday 9 May CT, 13-15, EL41: Ana IH, 15-17, EL41 : Ana
 Thursday 10 May
 Friday 11 May

[top]

Week 8 Assignment-6: CFL (pdf)     Deadline: 20 May 23:59
 Monday 14 May Lec, 13-15, HB3: Ana CFL. Slides-14 (pdf) MB: 7.2-7.4. Notes. Ex, 15-17, EA: Daniel CFL. Exercises-6 (pdf) (Same as in Tuesday.)
 Tuesday 15 May Ex, 10-12, EA: Marco CFL. Exercises-6 (pdf) (Same as in Monday.)
 Wednesday 16 May CT, 15-17, EL41: Ana
 Thursday 17 May IH, 10-12, ES61: Ana Lec, 13-15, HB3: Ana PDA. TM. Slides-15 (pdf) MB: brief on 6, 8
 Friday 18 May

[top]

Week 9 Assignment-7: TM (pdf)     Deadline: 25 May 23:59
 Monday 21 May Lec, 13-15, HB3: Ana TM. Summary. Slides-16 (pdf) MB: 8. Ex, 15-17, EA: Daniel TM. Exercises-7 (pdf) (Same as in Tuesday.)
 Tuesday 22 May Ex, 10-12, EA: Marco TM. Exercises-7 (pdf) (Same as in Monday.)
 Wednesday 23 May CT, 15-17, EL41: Ana
 Thursday 24 May IH, 10-12, ES53: Ana Lec, 13-15, HB3: Ana Exam-130528 w.sol. (pdf) Exam-130821 w.sol. (pdf) Exam-160601 w.sol. (pdf) Exam-160817 w.sol. (pdf)
 Friday 25 May

[top]