Este texto se sitúa en una generación de textos que tratan de poner el estudio de los lenguajes formales y autómatas al alcance de estudiantes que no necesariamente son avezados matemáticos buscando establecer nuevos teoremas, sino que buscan una iniciación a estos temas, que además les sirva como un ejercicio en el arte de formalizar, en particular en nociones relacionadas con la computación.