Finite Automata - School of Mathematical and Computer Sciences