Qual elemento de um compilador que le um fluxo de entrada (caracteres) e produz um fluxo de saída que contém palavras das quais cada uma é rotulada...

Sim, você está correto. O elemento de um compilador que realiza essa função é o scanner, também conhecido como analisador léxico. Ele é responsável por ler o fluxo de entrada de caracteres e produzir um fluxo de saída que contém palavras rotuladas com suas categorias gramaticais equivalentes na linguagem natural. O scanner é a primeira etapa do processo de compilação e é responsável por identificar os tokens (unidades léxicas) que serão utilizados nas próximas etapas do processo de compilação.