Formal language

Em ciência da computação, uma linguagem formal consiste em palavras cujas letras são tiradas de um alfabeto e são bem formadas de acordo com um conjunto específico de regras. É definida por uma gramática formal.