SMS dit: Automata Theory And Formal Languages /