compiladores

Especificações Estrutura IF
O que torna o computador diferente de qualquer outra máquina é a tomada de decisão definindo o que é verdadeiro e o que é falso.
Para isso, ele utiliza uma estrutura seletiva da qual o único valor possível é o bit 1 ou 0, ou seja VERDADEIRO ou FALSO.
Em muitas linguagens de programação, quem faz isso é o IF (SE traduzindo).
O ELSE é o que chamamos de caso contrário, ou seja, se for falso execute o que está no ELSE.
Java
Se for verdadeiro, o programa executará a primeira linha logo abaixo do IF ou a frente.
EX: 1 if ( Expressão ) Declaração;

EX: 2 if ( Expressão ) Declaração;

Se o IF tiver que executar várias linhas, todas as linhas que devem ser enquadradas dentro do bloco de dados - as chaves {}.

EX: 3 if ( Expressão ) { Declaração;
}

O ELSE só existe se tiver um IF. O ELSE só será executado se o IF for falso.
ELSE executará só a primeira linha abaixo dele. Se o ELSE tiver que executar várias linhas, vale a mesma regra de IF. Todas as linhas a ser executadas deverão estar contidas dentro do bloco de dados {}.

EX: 4 if ( Expressão ) { Declaração;
} else { Declaração;
}

O ELSE IF é praticamente um IF que é executado somente quando o IF principal é falso.
EX: 5 if ( Expressão ) { Declaração;
} else if ( Expressão ) { Declaração;
} else { Declaração;
}
Linguagem C
Como a linguagem Java deriva-se do C há muitas semelhas entre elas, a instrução IF é uma delas.
EX: 1 if ( Expressão ) { Declaração;
} else if ( Expressão ) { Declaração;
} else { Declaração;
}
Python
A grande diferença do Python para as linguagens demostradas acima é a separação de blocos que é realizada pela tabulação do código e não pelo uso das chaves ({}).
EX: 1 if Expressão : Declaração else: Declaração

A instrução ELIF permite que se inclua uma exceção condicional, algo como "... senão se isso ...". O ELSE é uma exceção absoluta.