Online Library TheLib.net » Theory of Automata, Formal Languages and Computation