A fase de Análise de um compilador é composta por 3 análises. Análise Léxica, Análise Sintática e Análise Semântica. A Análise Léxica é realizada um por Analisador Léxico. Analisadores Léxicos excelentes reconhecedores de padrões. Uma forma de implementar um analisador Léxico é utilizar Autômatos. Existem 3 tipos de Autômatos; Autômatos Finitos Determinísticos, Autômatos Finitos Não Determinísticos e com Movimento Vazio. Autômato Finito com Movimento vazio é um Autômato que?

A) dependendo do estado atual e sem ler nenhum símbolo, o sistema pode assumir apenas um estado bem definido.

B) dependendo do estado atual e sem ler nenhum símbolo, o sistema pode assumir apenas 4 estados possíveis.

C) dependendo do estado atual e sem ler nenhum símbolo, o sistema pode assumir um conjunto de estados.

D) dependendo do símbolo lido e do estado corrente (atual), o sistema pode assumir um único estado bem definido.

E) dependendo do símbolo lido e do estado corrente (atual), o sistema pode assumir um conjunto de estados alternativos.