Describir: Lenguajes formales y teoría de la computación