Eliminação de recursão à esquerda

ramática livre @Context para não-palíndromo

Preciso de um CFG que gere strings diferentes de palíndromos. A solução foi fornecida e é a seguinte: (Introdução à teoria da computação - Sipser) R -> XRX | S S -> aTb | bTa T -> XTX | X | <epsilon> X -> a | b Tenho uma idéia geral de como ...

Complexidade de tempo de um programa que envolve múltiplas variáveis

Qual será o DFA para a expressão regular 0 (0 + 1) * 0 + 1 (0 + 1) * 1?

Este é o DFA que eu desenheiEstá correto?Estou confuso porque

Lema de bombeamento para linguagem regular

Eu tenho um pouco de confusão em verificar se a linguagem dada é regular ou não usando o lema do bombeamento.Suponha que temos que verificar se:EU. A língua ...

Complexidade Computacional Mais Lenta (Big-O)

Fora desses algoritmos, eu sei que o Alg1 é o mais rápido, já que é n quadrado. Em seguida, seria Alg4, uma vez que é n em cubos e, em seguida, Alg2 é provav...

Qual é a gramática livre de contexto para o complemento da palavra dupla acima de 0,1?

Qual é o CFG do complemento de L = {ww | w pertence a {0,1} *}?

O tempo de compilação C # 4.0 está completo?

Há um fato bem conhecido de queModelos C ++ estão completos, CSS é completo (!) e que oResolução de sobrecarga C # é NP-difícil (mesmo sem genéricos).Mas é c...

Exemplo de CFL Não Linear, Não-Ambígua e Não Determinista?

Eliminando recursão imediata à esquerda

Entendo que, para eliminar uma recursão imediata à esquerda de uma gramática contendo produção da forma A⇒Aα, preciso substituí-la por A⇒βA'e A'⇒αA / ∈ Estou tendo as seguintes produções, preciso eliminar a recursão à esquerda imediata E⇒E + T ...