Na matemática, na lógica, e na ciência da computação, a linguagem formal é a linguagem que é definida por modelos matemáticos ou máquinas de processamento de fórmulas. Como línguas em linguística, a linguagem formal possui dois aspectos: a sintaxe de uma linguagem é o que a linguagem aparenta (mais...