Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Lista de exercícios
Luiz Alberto do Carmo Viana
25 de outubro de 2019
Esta definição fornece a base para uma gramática para expressões regulares:
L2 = {a n 2 : n ≥ 0}
L = {an2: n ≥ 0}. Suponha L = {an2: n ≥ 0} são contexto livre. Então n = M2. Portanto
o w é a cadeia com o M22, ou M4, a's). Então |w | ≥ K, desde que M > K. Portanto
uvvxyyz deve estar em L. Considerando w, o seguinte elemento de L é a cadeia
com (M2 + 1) 2 a's. Isto é M4 2M2 1. Mas sabemos que |vxy | ≤ M, portanto não
podemos bombear em mais do que o M da 's quando só bombeamos uma vez.
Assim a cadeia que somente criamos não pode ter mais do que M4 + M da 's
L3 = {www: w ∈ {a, b} ∗}