Maneira mais conveniente para a representação de procedimentos no computador.
Uma linguagem de programação é definida por um conjunto de símbolos, chamado alfabeto, e um conjunto de regras que especificam como compor as representaçôes de procedimentos e quais são as açôes associadas a estas representaçôes.
Um programa é uma sequencia de símbolos de uma linguagem de programação que representa um ou mais procedimentos.
As linguagens de programação tem características variadas, dependendo de sua finalidade. Há desde as muito simples, porém de grande interesse para a teoria da computação (ex. a linguagem da Máquina de Turing), como as de mais alto nível, usadas para propósito geral e comercialmente.
Para a Internet, atualmente com CGI (Interface Comum de Gateway), existem ferramentas e linguagens próprias para o mundo web (programação/script/CGI), permitindo desde o comércio eletronico, lojas virtuais, intercambio das empresas (filiais, clientes, fornecedores, transação bancária, recolhimento de impostos, entrega e recebimento de declaraçôes fiscais/governamentais, etc.) até o gerenciamento empresarial pela Internet.