2IT15 Automata and Process Theory 2012 (academic year 2011/2012, quartile B4)

News

• August 16 The exam of August 14 has been marked (mark 1-3: 16%, mark 4-5: 21%, mark 6-7: 47%, mark 8-10: 16%). Opportunity to inspect the markings is given at Tuesday September 11, 11.00-11.45 hours, room MetaForum 7.122.
• July 9 The exam of July 3 has been marked (mark 1-3: 31%, mark 4-5: 31%, mark 6-7: 21%, mark 8-10: 17%). Opportunity to inspect the markings is given at Thursday July 12, 13.00-14.00 hours and Monday July 16, 11.00-12.00 hours, room HG 6.72.
• June 24 An elaboration of the exemplary exam is available.
• June 19 An exemplary exam and an overview of the parts of the reader that are relevant for the preparation of the written examination are available below.
• June 7 A push-down automaton for the language of Example 4.23 on page 105 of the reader can be found on slide 16 belonging to the lectures of June 7.
• May 21 A detailed proof of Theorem 3.5.3, as discussed during the lectures today, is available.
• May 15 Pieter Cuijpers is not available for the instructions on Thursday May 24. Students in his group are requested to join the groups of Roel Bloo and Gerard Zwaan that day in Potentiaal 2.23 and 2.19, respectively.
• May 15 The exercises planned for Tuesday May 22 involve an extra exercise that is available here.
• May 15 An elaboration of the test of May 15 is available.
• May 8 The diagnostic test is rescheduled for Tuesday May 15, 10.45 hours during the first hour of the lab classes.
• April 24 Because of Queen's Day, April 30, there will be no instruction hours on Thursday April 26.
• April 23 The group assignment can be found at OASE.

General

This is the webpage of the course 2IT15 as part of the Bachelor Technische Informatica, concerning both the track Software Science and the track Web Science. In 2012 this mandatory course will be taught in quartile B4. The course is scheduled too for students doing the combined propadeuse Mathematics/Computer Science, the ICT track Technische Innovatiewetenschappen and Master students Mechanical Engineering

Students doing the minor Technische Informatica, the HBO-minor BIS, CSE and ES, the schakelprogramma BIS, CSE and ES, as well as Master students BIS, CSE and ES taking 2IT15 or 2IT17 as part of their homologation programme are referred to the webpage of the course taught in quartile A2.

Educational Format Four hours of lectures and four hours instructions. Lectures are scheduled on Mondays 10.45-12.30 and Thursdays 8.45-10.30 in lecture hall IPO 0.98, starting Monday April 23. Instructions take place at Tuesdays 10.45-12.30 and Thursdays 10.45-12.30.

Instructor	Tuesday 3+4	Thursday 3+4
Roel Bloo	Matrix 1.41	Potentiaal 2.23
Pieter Cuijpers	Helix Oost 3.91	Helix West 3.91
Wieger Wesselink	Potentiaal 6.23	Potentiaal 6.23
Gerard Zwaan	Potentiaal 2.19	Potentiaal 2.19

For a balanced group allotment students are requested to register to the course via OASE.

Literature

Lecture notes of J.C.M. Baeten, Models of Computation: Automata and Processes, September 2011. This is an update of the previous version of December 2010.

Planning

Apr 23	Lectures 1: Kick-off, Chapter 1, Section 2.1	[slides]
Apr 24	Instruction 1: exercises 1.0.2-4, 2.1.1ace, 2.1.2aceg
Apr 26	Lectures 2: Section 2.2 and 2.3	[slides]
Apr 26	No instructions
Apr 30	No lectures (Queen's day)
May 1	Instructions 2: 2.1.15, 2.1.17, 2.3.2-5
May 3	Lectures 3: Section 2.4 and 2.5	[slides]
May 3	Instructions 3: 2.4.1-2, 2.5.3-6
May 7	Lectures 4: Section 2.6	[slides]
May 8	Instructions 4: 2.5.9-10, 2.6.4, 2.6.6bcd, 2.6.7
May 10	Lectures 5: Section 2.7 and 2.8	[slides]
May 10	Instructions 5: 2.7.3-5, 2.8.1-3
May 14	Lectures 6: Section 2.9 and 3.1	[slides]
May 15	Instructions 6: Diagnostic Test	[test]
May 17	No lectures (Ascension Day)
May 17	No instructions (Ascension Day)
May 21	Lectures 7: Section 3.2	[slides]
May 22	Instructions 7: 2.9.1, 2.9.2ab, 2.9.3cd, 3.1.1, extra exercise 1
May 24	Lectures 8: Section 3.3	[slides]
May 24	Instructions 8: 2.9.4, 3.2.1adf, 3.2.3, 3.2.4, 3.2.6ac
May 28	No lectures (Witt Monday)
May 29	No lectures/instructions (Monday schedule)
May 31	Lectures 9: Section 3.5 and 3.6	[slides]
May 31	Instructions 9: 3.3.2abcdf, 3.3.3, 3.3.5ac
June 4	No lectures (lecturer absent)
June 5	No instructions
June 7	Lectures 10: Section 4.1, 4.2 and 4.3	[slides]
June 7	Instructions 10: 3.5.1, 3.6.1, 3.6.2, 4.1.1c, 4.1.2.ab, 4.1.5
June 11	Lectures 11: Section 4.7 and 4.8	[slides]
June 12	Instructions 11: 4.2.1, 4.2.2, 4.2.9bc, 4.2.10bd, 4.3.3, 4.3.4, 4.3.5
June 14	Lectures 12: Section 5.1, 5.2 and 5.4	[slides]
June 14	Instructions 12: 4.7.2abc, 4.7.4, 5.1.3, 5.1.7
June 18	Exam preparations 1	[slides]
June 19	No instructions
June 21	Exam preparations 2
June 22	No instructions

Examination

The written examination is planned at July 3, 2012 (morning) with a resit at August 14, 2012 (afternoon).
For an impression of the format of the written examinations one may consider the exemplary exam. After having made its assignments one can consult the elaboration if needed.

The following sections are particularly relevant for preparation of the written examination:

Chapter 1: nothing specific

Chapter 2: Sec. 2.1, definitions Sec 2.3, Sec. 2.4, Sec. 2.6, Sec. 2.7, definitions Sec. 2.8, Sec. 2.9

Chapter 3: Sec. 3.1, Sec. 3.2, Sec. 3.3, general ideas Secs. 3.5 and 3.6

Chapter 4: Sec. 4.1, Sec. 4.2 (not the stack process), Sec. 4.3, results of p.121 of Sec. 4.5, Sec. 4.7, Sec. 4.8

Chapter 5: Sec. 5.1, general idea Secs. 5.2 and 5.4

A diagnostic test for Chapter 2 was held on May 15. An elaboration is available.
The written exam of July 3, 2012 and of August 14, 2012 are available.

Lecturer and Tutors

dr. C.J. Bloo, HG 6.39, c.j.bloo(at)tue.nl
dr. P.J.L. Cuijpers, HG 5.10, p.j.l.cuijpers(at)tue.nl
dr. E.P. de Vink, HG 6.72, evink(at)win.tue.nl
dr. J.W. Wesselink, HG 6.77, j.w.wesselink(at)tue.nl
dr. G. Zwaan, HG 6.39, g.zwaan(at)tue.nl

Pencasts for this course

Example 3.17

Webpages of the course 2IT16 in 2010/2011.