Lenguaje empleado para la descripción de programas, su análisis y documentación. Son lenguajes con una sintaxis a medio camino entre los lenguajes naturales y los lenguajes de programación de alto nivel. Disponen de construcciones especiales y, a veces, protocolos de verificación.
