Describir: Lógica y lenguajes formales/1