Formal languages ​​and automata