2IT16 Finite Automata and Processes 2011 (academic year 2010/2011)


News


General

This is a mandatory course of the Bachelor Technische Informatica running quartile B3.


Instruction hours

Instruction hours/working groups are held on Fridays, hours 7+8, Helix West 1.91 (English instruction), Helix Oost 1.91 (Dutch instruction) and Helix West 3.91 (Dutch instruction). For the list of planned exercises, see below. The division into groups will be announced at StudyWeb.


Literature

There are lecture notes available: J.C.M. Baeten, Models of Computation: Automata and Processes, 2010. The course 2IT16 will cover Chapter 1 to 3.


Planning
 
Feb 1 Kick Off: Chapter 1 Introduction [slides]
Feb 3  Lectures: Section 2.1 [slides]
Feb 4  Working group: 2.1.1 to 2.1.4, and 2.1.6  
Feb 8  Extra tuition: 2.1.15, 2.1.19, 2.1.10, 2.1.21, and 2.1.20 [slides]
Feb 10 Lectures: Sections 2.2 and 2.3 [slides]
Feb 11 Working group: 2.3.2-6  
Feb 15 Extra tuition: 2.2.2, bisimulation, 2.3.7, start Section 2.4 [slides]
Feb 17 Lectures: Section 2.4 [slides]
Feb 18 Working group: 2.4.2-5, 2.4.7-11, 2.4.13  
Feb 22 Extra tuition [slides]
Feb 24 Lectures: Section 2.5 and 2.8 [slides]
Feb 25 Working group: 2.5.1, 2.5.4, 2.5.7a and 2.8.2-4  
Mar 1  Extra tuition [slides]
Mar 3  Lectures: Section 2.6 and 2.7 [slides]
Mar 4  Working group: 2.6.1-2, 2.6.4-5, 2.7.1 (second half), 2.7.2-3, Exam June 2008, assignment 2  
  Crocus holidays March 7 to March 11  
Mar 15 Extra tuition [slides]
Mar 17 Lectures: Section 3.1 and 3.2 [slides]
Mar 18 Working group: 3.1.1, 3.1.4, 3.2.1-4, 3.2.6ac  
Mar 22 Extra tuition [slides]
Mar 24 Lectures: Section 3.3 and 3.4 [slides]
Mar 25 No working group (TU/e High-School Orientation Day)  
Mar 29 No extra tuition  
Mar 31 Lectures: Section 3.5 and 3.6 [slides]
Apr 1 Working group: 3.3.2c-g, 3.3.3, 3.3.5, selection of 3.3.11  
Apr 7 Exam preparation meeting [exam]
Apr 11 Exam [exam]


Educational Format

Lectures on Thursdays, working groups on Fridays, additional tuition on Tuesdays.


Examination

This course is assessed in writing. Written examinations on Monday April 11 (morning) and Monday June 27 (morning). An extra retake opportunity is held on Friday August 19 (morning)

  • the exemplary exam of April 2011 and provisional elaboration notes (page 1, page 2, page 3)
  • the exam of April 11, 2011
  • the exam of June 27, 2011
  • the exam of August 19, 2011 and elaboration notes

  • Lecturer and Tutors

    dr. C.J. Bloo (working group), HG 6.39, c.j.bloo(at)tue.nl, 040-2474496
    dr. E.P. de Vink (lectures and extra tuition), HG 6.72, evink(at)win.tue.nl, 040-2473146
    dr. J.W. Wesselink (working group), HG 6.77, j.w.wesselink(at)tue.nl, 040-2472734
    dr. G. Zwaan(working group), HG 6.39, g.zwaan(at)tue.nl, 040-2474291


    Webpages of the course 2IT15 in 2009/2010.