Formal languages and automata theory - Drobot, Vladimir. (Principles of computer Science series., 1989)