Uma das primeiras etapas do processo de compilação é a Análise Léxica que reconhece linguagens regulares do tipo-3, conforme a hierarquia de Chomsk...

Uma das primeiras etapas do processo de compilação é a Análise Léxica que reconhece linguagens regulares do tipo-3, conforme a hierarquia de Chomsky. Este tipo de linguagens tem a vantagem de ser formalmente descrita através de expressões regulares, produzindo uma rotina que realiza essa análise. Essa rotina modela um autômato finito derivado matematicamente das expressões regulares especificadas. Mas também pode ser formalmente descrita por uma representação axiomática, ou seja uma gramática, também regular (Santos e Langlois, 2018). Santos, Pedro, R. e Thibault Langlois. Compiladores - Da Teoria à Prática. Disponível em: Minha Biblioteca, Grupo GEN, 2018. Considerando a gramática a seguir, em que S, A e B são símbolos não terminais, 0 e 1 são terminais e ε é a cadeia vazia. S → 1S | 0A | ε A → 1S | 0B | ε B → 1S | ε Esta gramática é a expressão axiomática, em suas regras de produção, da representação de uma linguagem definida pelos símbolos do alfabeto (os terminais 0 e 1). O comportamento é determinado pela derivação das regras, que, aplicadas ao processo de análise léxica, pode definir as sentenças desta linguagem a partir das seguintes observações: I. Nas cadeias geradas por essa gramática, o último símbolo é sempre 1. II. O número de zeros consecutivos nas cadeias geradas pela gramática é, no máximo, dois. III. O número de uns em cada cadeia gerada pela gramática é maior que o número de zeros. IV. Nas cadeias geradas por essa gramática, todos os uns estão à esquerda de todos os zeros. É correto apenas o que se afirma em
I.
I e III;
III e IV;
II IV
II e IV;
a. I.
b. I e III;
c. III e IV;
d II IV
e. II.