Formal languages and their relation to automata