Teor´ıa de Autómatas y Lenguajes Formales

6.3. ALGORITMOS DE DECISIÓN 115Ejemplo 83 Considere la gramática libre de contexto que se indica a continuación:S → AB|BCA → BA|aB → CC|bC → AB|ay el string baaba.V ijjb a a b ai ✲1 2 3 4 51 B A, C A, C B A, C2 S, A B S, C S, A3 ∅ B B❄4∅ S, A, C5 S, A, CPara calcular V 24 :V 21 = {A, C} V 33 = {B} ⇒ S, CV 22 = {B} V 42 = {S, A} ⇒ AV 23 = {B} V 51 = {A, C} ⇒ A, Ses decir, V 24 = {S, A, C}.Ya que S ∈ V 15 , se concluye que el string baaba ∈ L(G).✷