Hola, tengo una duda respecto a cómo probar que un elemento no cumple la regla iii de Γ. Habría que separar en casos si α = ε/ α ≠ ε y lo mismo para β?
Así fue como lo hice, está bien?
También podría haber dicho que como bbc empieza con "b" y termina con "c" no se cumple porque bαcβb empieza y termina con "b"?