Automata-spr16

This is the unofficial page of the course. All material is provided here for information. No responsibility for correctness.