Qual é a diferença entre declarar e definir uma variável?

Andréia, no caso da variável "a" do primeiro exemplo, ela está sendo declarada e definida naquele lugar. (isto usando sua nomenclatura)
Eu sempre usei o termo declarar para os dois casos. Só que uso declarar como externa para o caso do extern. :-)

Rodolfo, pelo que eu tinha entendido, ficaria a critério do compilador já definir a variável "a" do primeiro exemplo, ou então apenas declará-la - e defini-la somente quando encontrasse uma atribuição. Estou escorregando em algum conceito?

Outra coisa, sobre "Eu sempre usei o termo declarar para os dois casos.": isso significa que a escolha da nomenclatura é irrelevante? Na literatura, o mais comum é não fazer a distinção?

Particularmente no caso da variável "a", ela deve ser alocada na pilha e o compilador vai reservar espaço para ela logo no início da função. Por outro lado, se ela for alocada num registrador, então o compilador pode reservar espaço mais para a frente. Um conceito importante de compiladores que pode te ajudar nesta parte é o de "variável viva" que diz que uma variável está viva num lugar se ela foi atribuída anteriormente e (potencialmente) será lida no futuro.