Vamos analisar cada uma das afirmações: I. Os identificadores são os nomes que o usuário atribui a várias partes do programa, que identificam um endereço de memória específico. Verdadeiro, os identificadores são, de fato, nomes dados pelo programador a variáveis, funções, etc., mas não identificam diretamente um endereço de memória específico; eles são usados para referenciar esses endereços. II. O analisador léxico não é uma parte obrigatória do compilador, pois suas funções podem ser executadas na fase de análise. Falso, o analisador léxico é uma parte fundamental do compilador, responsável por dividir o código fonte em tokens antes da análise sintática. III. É possível usar técnica de análise simples para selecionar e analisar lexemas no texto e algoritmos complexos na etapa de análise sintática. Verdadeiro, essa afirmação está correta, pois o analisador léxico pode usar técnicas mais simples, enquanto a análise sintática pode envolver algoritmos mais complexos. IV. As funções desempenhadas pelo analisador léxico e a composição dos tokens são igualitários de acordo com a versão do compilador. Falso, as funções do analisador léxico e a composição dos tokens podem variar entre diferentes versões de compiladores, dependendo das especificações e implementações. Com base nessa análise, as afirmações verdadeiras são I e III. Portanto, a alternativa correta que contém todos os itens verdadeiros é: I e III, apenas.