An introduction to the theory of formal languages and automata | lit.salon