I put also a browsable link on the web
I uploaded a new batch of slides. Martin
I wrote more info about how to get access to the dfa implementation. it can be found here:
(it's a evolving document, new info may be added).
Department of Informatics
University of Oslo
P.O. Box 1072 Blindern
In case of fires, accidents or serious incidents +47 22 85 66 66