Formal Languages and Their Relation to Automata (Addison-Wesley Series in Computer Science and Information Processing)