Formal Languages and Automata Theory - TDDD14 - Memmo