linguagem definida artificialmente, a partir de um conjunto pré-determinado de símbolos ou alfabeto, onde, em geral, apenas algumas sequências de tais sinais, ou samblagens, são significativas. [..]

Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propried [..]