Automata, Formal Languages, and Related Topics