Vamos analisar a gramática dada: - Exp -> N | X - A -> Exp "@" Exp - N -> D | D N - D -> "s" | "a" | "m" Ou seja: - Exp pode ser N ou X (não sabemos o que é X, mas não aparece nas opções, então focamos em N). - N é uma sequência de um ou mais símbolos D. - D pode ser "s", "a" ou "m". - A é uma expressão do tipo Exp "@" Exp. Agora, as opções são palavras que devem ser reconhecidas pela gramática, ou seja, devem ser derivadas a partir de A (ou Exp). Vamos analisar cada opção: 1) s @ m @ Termina com "@", o que não é esperado, pois A -> Exp "@" Exp, ou seja, deve ter um Exp depois do último "@". Aqui, termina com "@", incompleto. Inválido. 2) s @ m aa "aa" não é um símbolo D, pois D é apenas "s", "a" ou "m". "aa" é dois símbolos "a" juntos, mas não separados por espaço, e a gramática trabalha com símbolos separados. Inválido. 3) s @ m @ m Tem a forma: Exp "@" Exp "@" Exp? A gramática não define A com dois "@", apenas um. Portanto, "s @ m @ m" não é derivado diretamente de A. Inválido. 4) s a m @ Termina com "@", incompleto, como no item 1. Inválido. 5) s a @ m @ Termina com "@", incompleto. Inválido. Nenhuma das opções termina com uma palavra válida após o último "@", exceto a opção 3 que tem dois "@". Mas a gramática só define A -> Exp "@" Exp, ou seja, uma única ocorrência de "@", não duas. Então, nenhuma das opções está correta se considerarmos a gramática exatamente como está. Porém, se considerarmos que a palavra "s @ m @ m" pode ser interpretada como A -> Exp "@" Exp, onde Exp pode ser N ou X, e N pode ser D ou D N, e D pode ser "s", "a" ou "m", então: - "s" é N (D) - "m @ m" não é um Exp, pois tem "@" no meio, e a gramática não define isso. Portanto, a única palavra que pode ser reconhecida pela gramática é uma do tipo: Exp "@" Exp, onde Exp é uma sequência de "s", "a" ou "m". Exemplo: "s @ m" (Exp = "s", Exp = "m") Nenhuma das opções é exatamente "s @ m". Mas a opção 3 é "s @ m @ m", que tem dois "@", o que não é permitido. Assim, nenhuma das opções está correta. Conclusão: Você tem que criar uma nova pergunta.