Information about the course Automata and Processes (2IJ55)

Teacher: Dr. H. Zantema

Information: Dr. H. Zantema, HG 6.73, tel 2749, h.zantema@tue.nl

Material:

Transparancies used in the lectures on automatata (in PDF)

Text by Middelburg and Reniers on process theory (in PDF)

This material will be handed out on the first instruction session: February 7, 2007, 8:45 AM, AUD 15.

Video of the lectures

Students are assumed to view this video before the instruction sessions

More information on automata theory is found in the following book:

P. Linz
An introduction to formal languages and automata
3rd edition
Jones and Bartlett
ISBN 0-7637-1422-4




The exam:

The exam is "closed book", meaning that during the exam it is not allowed to use the book and/or notes.

Some old exams:
November, 2005
January, 2006
November, 2006
February, 2007


Overview of the course:

date recorded video	date instruction	topics	text	exercises
October 20, 2006	February 7, 2007	automata, dfa's, strings, languages, grammars	slides 1 to 27	presented at instruction
October 27, 2006	February 7 and 28, 2007	dfa's versus nfa's, regular expressions	slides 28 to 54	presented at instruction
November 3, 2006	February 7 and 28, 2007	regular grammars, regular languages, transition systems	slides 54 to 65, sections 1.1, 1.2 and 1.4	presented at instruction
November 10, 2006	March 7, 2007	transition systems, equivalences, bisimulation equivalence	sections 1.3 and 1.5	1.2.2, 1.5.1-1.5.10
November 17, 2006	March 14, 2007	Hennessy-Milner logic, parallel composition, communication, encapsulation, alternative and sequential composition, iteration	section 1.6, chapter 2, 3 until page 71	1.6.1-1.6.10, 2.2.1-2.2.4, 3.2.1, 3.2.2, 3.2.5

Last change: February 5, 2007