CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 12 Mälardalen University 2007