Un lenguaje formal es un lenguaje que tiene una sintaxis y una semántica definidas con precisión. Los lenguajes de consulta se utilizan para consultar bases de datos y tienen una sintaxis y una semántica bien definidas que permiten a los usuarios expresar sus consultas de forma clara e inequívoca.