garante que a estrutura ENTRADA -> PROCESSAMENTO -> SAÍDA seja respeitada pelo programa.

define a forma como os comandos e as estruturas da linguagem devem ser utilizados.

converte os comandos para linguagem de máquina para que possam ser executados.

viabiliza a comunicação entre usuários e programas através de comandos de entrada e saída.

cria a versão executável do código fonte e não está presente em algumas linguagens.