Este documento describe los tipos de datos abstractos y estructuras de datos. Explica que la abstracción permite ignorar detalles no importantes y enfocarse en los conceptos fundamentales. Define un tipo de dato abstracto como una representación de entidades del mundo real mediante su comportamiento y estado oculto. Finalmente, introduce la notación BNF para definir formalmente la sintaxis de los tipos de datos abstractos sin ambigüedades.