Este documento describe los tipos de datos abstractos y estructuras de datos. Explica que la abstracción permite ignorar detalles irrelevantes y enfocarse en los aspectos fundamentales de un problema. Luego define los tipos de datos abstractos como nuevos tipos de datos que especifican el comportamiento pero no la implementación. Finalmente, usa la notación BNF para definir formalmente los tipos de datos racionales y cadenas.