formal language, linguagem formal

Uma combinação de sintaxe e semântica que define completamente uma linguagem de computador. Ver também Backus-Naur form (forma de Backus-Naur); semantics (semântica – definição 1); syntax (sintaxe).