Computação

Computadores não são inteligentes como humanos e portanto não compreendem a essência de uma idéia como uma pessoa compreenderia. Computadores seguem programas que são conjuntos de instruções numa linguagem clara e simples. O desenvolvimento de uma linguagem de programação implica o uso de uma metalinguagem. A Forma de Backus-Naur é uma das primeiras metalinguagens usadas na computação e foi desenvolvida em 1960 por John Backus e Peter Naur.
HTML e XHTML são exemplos de linguagens de marcação que podem ser usadas por qualquer pessoa desejosa de representar páginas web na Internet com mídias tais quais texto (formatado ou não), gráficos, sons, e vídeo. Linguagens de marcação são diferentes de metalinguagens, pois apenas descrevem como um documento deve ser apresentado, e não a sintaxe de uma linguagem de programação. XML é a metalinguagem usada para descrever XHTML, da mesma forma que SGML é usada para descrever HTML. XHTML é muito mais inflexível que HTML.
XML é também usada para descrever outros tipos de documentos de texto, como o "OpenDocument", que é o formato nativo do aplicação de processamento de texto do OpenOffice.org. Muitas outras metalinguagens têm-se baseado no padrão W3C XML 1.0, incluindo:

• XQuery
• XLink
• SVG
• SMIL.

Inclui-se também como linguagens de marcação aquelas especiais para notações matemáticas e científicas, como Tex e LaTeX ou uma de suas muitas variantes.
 --------------------
Texto extraído da Wikipédia. 
 Por Marcos Godoy