Na fase de análise sintática preditiva, uma abordagem para evitar o backtracking (retrocesso) de símbolos e regras é o uso de uma tabela preditiva LL(k) para identificar os símbolos terminais que iniciam cada regra de produção. É extremamente importante prever o próximo símbolo lido da entrada para otimizar a execução da gramática. Seja a seguinte gramática livre de contexto a seguir, onde ε representa o string vazio e $ representa um marcador de fim de entrada. Dada a seguinte gramática, onde ε representa a sentença vazia: S → AB | CD A → a | ε B → b | f C → c | g D → h | i Qual o conjunto de terminais que podem começar sentenças derivadas de S ?