Describir: Lógica y lenguajes formales/2