El lenguaje formal es un conjunto de signos artificiales vacíos de contenido que se relacionan entre sí por una serie de normas y reglas,sometido exclusivamente a la coherencia interna del propio lenguaje.
Surge para salvar los problemas del lenguaje común.Busca la universalidad.
Ejemplos de lenguajes formales:
Un conjunto de todas las palabras sobre {a,b}.
El conjunto {an : n} es un número primo.
El conjunto de todos los programas sintácticamente válidos en un determinado lenguaje de programación.
El conjunto de todas las fórmulas bien formadas en la lógica de primer orden.
Aquí dejo un video sobre el lenguaje. (Tipos y funciones)