2IT70 Automata and Process Theory 2013 (academic year 2012/2013, quartile 4)

News

• August 16 The markings of the written examination of August 16 can be looked into on Tuesday August 27, 11.00-11.45 hours (room MF 7.122) and on Monday September 2, 10.00-11.00 hours (room MF 7.122). The exam of August 16 and its elaboration are available.
• July 15 The markings of the written examination of July 5 can be looked into on Monday July 22, 13.00-14.00 hours (room MF 7.122) and on Tuesday August 13, 10.00-11.00 hours (room MF 7.122). The exam of July 5 and its elaboration are available.
• June 16 An examplary exam and its elaboration are available. These will be discussed at the extra tutorial at Friday June 21, 2013, hours 1+2, room AUD 12.
• June 16 The list of the most important sections has been updated. See below.
• June 12 The assignments and elaboration of the test of June 12, 2013 are available.
• June 8 A screencast and elaboration of Exercise 4.1.2d are available in the screencast section below.
• June 5 The extra interim test of June 12 will cover Sections 3.2 & 3.3, Sections 3.5 & 3.6, and Section 4.1. (Closed book, 90 minutes, 15.45 to 17.15 hours, rooms AUD 8, 9 and 15, see below.)
• June 4 There has been a change in rooms regarding the extra interim test of June 12, hours 7+8. Instruction group Bloo has been assigned AUD 9, instruction group Zwaan has been assigned AUD 15, instruction group Cuijpers and instruction group Mak both have been assigned AUD 8.
• June 4 On June 21 there will be an extra tutorial, discussing an exemplary exam (to be provided) in Auditorium 12.
• May 29 The assignments and elaboration of the test of May 29, 2013 are available.
• May 27 The second test takes place at Wednesday May 29, 2013, hours 7+8 in rooms MA 1.60 (group Bloo), MF 06 (group Cuijpers), AUD 16 (group Mak, note the change of room, same room as previous test), and LG 1.105 (group Zwaan)
• May 27 Detailed proofs of Theorem 2.66 of Section 2.7 and Theorem 3.5.2 of Section 3.1 can be found in the screencast section.
• May 21 tHE second interim test of May 29 will cover Section 2.6-2.9 and Section 3.1. (Closed book, 90 minutes, 15.45 to 17.15 hours.)
• May 15 The assignments and elaboration of the test of May 15, 2013 are available.
• May 13 The test of May 15 will be based on Section 2.1 to Section 2.5 inclusive. It is closed book and takes 90 minutes, from 15.45 to 17.15 hours.
• May 7 No lectures on Wednesday May 8 due to illness of the lecturer.
• May 5 The first test takes place at Wednesday May 15, 2013, hours 7+8 in rooms MA 1.60 (group Bloo), MF 06 (group Cuijpers), AUD 16 (group Mak, note the change of room), and LG 1.105 (group Zwaan)
• April 30 Workouts of most of the homework assignments of April 24 have been made available. See links below in the planning table.

General

This is the webpage of the course 2IT70 as part of the Bachelor Technische Informatica, concerning both the track Software Science and the track Web Science. In 2013 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 of 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 2.

Educational Format Four hours of lectures and two hours instructions. Lectures are scheduled on Mondays 10.45-12.30 (hours 3+4) and Wednesday 13.45-15.30 (hours 5+6) in lecture hall AUD 8, starting Monday April 22. Instructions take place at Fridays 8.45-10.30 in AUD 12 (group Mak), Laplace 1.105 (group Zwaan), Matrix 1.60 (group Bloo), and MetaForum 06 (group Cuijpers). Group assignments will be announced at OASE. The slot on Wednesdays 15.45-17.30 (hours 7+8) will be used for the interim tests (dates are May 15, May 29 and June 12, rooms in rooms MA 1.60 (group Bloo), MF 06 (group Cuijpers), AUD 16 on May 15 and May 29, AUD 9 on June 12 (group Mak), and LG 1.105 (group Zwaan)).

Instructor	Friday 1+2	Test May 15	Test May 29	Extra Test June 12
Roel Bloo	Matrix 1.60	Matrix 1.60	Matrix 1.60	AUD 9
Pieter Cuijpers	MetaForum 06	MetaForum 06	MetaForum 06	AUD 8
Rudolf Mak	Auditorium 12	Auditorium 16	Auditorium 16	AUD 8
Gerard Zwaan	La Place 1.105	La Place 1.105	La Place 1.105	AUD 15

For a balanced group allotment students are requested to register to the course via OASE, closing date April 24.

Literature

Lecture notes of J.C.M. Baeten, Models of Computation: Automata and Processes, April 2013. This is an update of the previous version of December 2011. A pdf is available from the OASE space belonging to this course.

Planning

Apr 22	Lectures 1: Kick-off, Chapter 1, Section 5.1	[slides]
Apr 24	Lectures 2: Automata and Languages, Section 2.1	[slides]
Apr 24	Home work 1: exercises 1.0.2, 1.0.3, 2.1.1a, 2.1.1b, 2.1.1c, 2.1.2abc
Apr 26	Instructions 1: 5.1.2, extra 1, 1.0.4, 2.1.3, 2.1.4
Apr 29	No lectures (bridge day)
May 1	Lectures 3: section 2.2 and 2.3	[slides]
May 1	Home work 2: none
May 3	Instructions 2: 2.1.9-10a, 2.1.14-15, 2.1.19, 2.3.5
May 6	Lectures 4: Section 2.4 and 2.5	[slides]
May 8	Lectures 5:	[slides]
May 8	Home work 3: 2.4.2b, 2.4.1c, 2.5.2a, 2.5.2b, 2.5.3a, 2.5.3b, 2.5.3c, 2.6.2
May 10	No instructions (bridge day)
May 13	Lectures 6: Section 2.6 and 2.9	[slides]
May 15	Lectures 7: Section 2.7 and 2.8	[slides]	[Thm 2.66]
May 15	Interim test 1: assignments and elaboration
May 17	Instructions 3: discussion interim test, 2.4.2, 2.6.7, 2.9.2ac, 2.9.4ac
May 20	No lectures (Whit Monday)
May 22	Lectures 8: Section 3.1	[slides]	[Thm 3.5.2]
May 22	Home work 4: none
May 24	Instructions 4: 2.7.3, 2.8.1: Figures 2.51-2.54, 2.9.4d 3.1.1, 3.1.3
May 27	Lectures 9: Section 3.2	[slides]
May 29	Lectures 10: Section 3.3	[slides]
May 29	Interim test 2: assignments and elaboration
May 31	Instructions 5: discussion interim test, 3.3.2a-d, 3.3.5ac, 3.3.11ab
June 3	Lectures 11: Section 3.5 and 3.6	[slides]
June 5	Lectures 12: Section 4.1	[slides]	[Exmp 4.6]
June 5	Home work 5: 3.2.1a, 3.2.1bc, 3.2.4, 3.2.6b, 4.1.1a, 4.1.1bc
June 7	Instructions 6: 4.1.2ab, 4.1.3ab, 4.3.3
June 10	Lectures 13: Section 4.7 and 4.8	[slides]
June 12	Lectures 14: Section 5.1 and 5.4	[slides]
June 12	Extra interim test: assignments and elaboration
June 14	Instructions 7: 4.7.2ab, 4.8.3, 5.1.3, 5.1.9
June 21	Tutorial exemplary exam in AUD 12: examplary exam and elaboration

Examination

Interim tests are planned for May 15, May 29 and June 12. The assignments and elaboration of the test of May 15, 2013 are available, as well as the assignments and elaboration of the test of May 29, 2013, and the assignments and elaboration of June 12, 2013.

The final examination is scheduled for July 5, 2013 in the morning. The resit is scheduled for August 16, 2013.

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

Chapter 2: Sec. 2.1, Secs. 2.3 to 2.9 inclusive

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

Chapter 4: Sec. 4.1, Secs. 4.7 and 4.8

Chapter 5: Sec. 5.1 and 5.4

The exam of July 5 and its elaboration are available. See also the examplary exam and its elaboration and the exams of last year: the exemplary exam, the written exams of July 3, 2012 and of August 14, 2012.

Lecturer and Tutors

dr. C.J. Bloo, MF 3.067, c.j.bloo(at)tue.nl
dr. P.J.L. Cuijpers, MF 6.122A, p.j.l.cuijpers(at)tue.nl
dr. R.H. Mak, MF 6.073, r.h.mak(at)tue.nl
dr. E.P. de Vink, MF 7.122, evink(at)win.tue.nl
dr. J.W. Wesselink, MF 7.068, j.w.wesselink(at)tue.nl
dr. G. Zwaan, MF 7.093, g.zwaan(at)tue.nl

Pencasts for this course

Example 3.17

Screencasts for this course

Theorem 2.66: screen cast (swf) and elaboration (pdf)

Theorem 3.5.2: screen cast (swf) (to be improved) and elaboration (pdf)

Exercise 4.1.2d: screen cast (swf) and elaboration (pdf)

Webpages of the course 2IT15 in 2011/2012 and 2IT16 in 2010/2011.