En la gramática formal se usan reglas gramaticales que aseguran la secuencia
correcta que identifica al lenguaje formal

El lenguaje natural es la manera en que nos comunicamos cotidianamente, sin
establecer ningún tipo de reglas, el lenguaje de programación es aquel que
necesitamos utilizar para darle instrucciones a una máquina de manera que pueda
procesar dicha información y así proporcionar una respuesta, el lenguaje
matemático es el que se utilizar en las ciencia exactas en donde necesitamos
analizar y demostrado las propuestas para que sean válidas

Ejemplo
Tipo de lenguaje
Natural
Formal
Programación

Matemático

Expresión
Gasté 30 pesos en 3 kilos de jitomate,
el kilo cuesta 10 pesos
p→q
Int x,a,b;
a = entrada.nextInt();
b = entrada.nextInt();
if(a !=0)
x = - b / a;
System.out.print(+x);
else if (b !=0)
System.out.print();
else
System.out.print();
3x=30
x=30/3
x=10

Mi definición
Un lenguaje formal es aquel en el que se emplea el alfabeto que mas de adapte a
las necesidades de las personas y situaciones que se presentan y cuyo lenguaje
universal debe ser capaz de expresar cualquier escenario que se pueda suscitar
en cualquier momento, por lo tanto debemos estar seguros de incluir en el alfabeto
todos los símbolos que podamos requerir y que dichos símbolos puedan ser
comprendidos sin problema por cualquier individuo.