¿Qué aplicaciones tienen los idiomas formales y por qué forman parte del plan de estudios en la mayoría de las universidades?

Estoy simplificando demasiado aquí …
Los idiomas formales son artificiales, a diferencia de los idiomas naturales como el inglés o el francés. Los lenguajes formales lo ayudan a formular estructuras de frases basadas en reglas sintácticas. Por ejemplo, se podría decir que una frase nominal (por ejemplo, “una casa”) se compone de un determinante y un sujeto. En su lenguaje formal, podría “reescribir” la frase nominal de la siguiente manera: NP -> D + N (donde NP es una frase nominal hipotética, -> es una regla de reescritura, D es un determinante y N es un sustantivo ) Los lenguajes formales no incluyen la semántica y, por lo tanto, no admiten metáforas, giros, humor, etc. (¡sería difícil escribir poesía en un lenguaje formal!). Sin embargo, admiten un nivel léxico que asigna información no contextual a los elementos del lenguaje formal que usted defina (por ejemplo, tendría que especificar qué es un sustantivo y qué reglas se aplican a él). para construir un léxico del lenguaje). Los lenguajes formales son la base para el estudio del analizador y compilador, razón por la cual aprendería sobre ellos si es un estudiante de CS.