1. Implementando un Parser LR Contrucción de parser engines SLR(1), LR(1) y LALR(1)

11. Oscar Bonilla Universidad Galileo Ejemplo de construcción de los estados del DFA <S>  • <X> $ <X>  • ( <X> ) <X>  • ( ) s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  ( • ) <X>  • ( <X> ) <X>  • ( ) s2 ( <X>  ( <X> • ) X s3 ( <X>  ( ) • ) s5 <X>  ( <X> ) • ) s4

13. Oscar Bonilla Universidad Galileo Ejemplo de Construcción de Parse Table <S>  • <X> $ <X>  • ( <X> ) <X>  • ( ) s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  ( • ) <X>  • ( <X> ) <X>  • ( ) s2 ( <X>  ( <X> • ) X s3 ( <X>  ( ) • ) s5 <X>  ( <X> ) • ) s4

20. Oscar Bonilla Universidad Galileo Construcción del DFA para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0

21. Oscar Bonilla Universidad Galileo Construcción del DFA para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X

22. Oscar Bonilla Universidad Galileo Construcción del DFA para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 (

23. Oscar Bonilla Universidad Galileo Construcción del DFA para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 (

24. Oscar Bonilla Universidad Galileo Construcción del DFA para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 (

25. Oscar Bonilla Universidad Galileo Construcción del DFA para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( (

26. Oscar Bonilla Universidad Galileo Construcción del DFA para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 (

27. Oscar Bonilla Universidad Galileo Construcción del DFA para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 (

28. Oscar Bonilla Universidad Galileo Construcción del DFA para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4

29. Oscar Bonilla Universidad Galileo Construcción del DFA para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4

30. Oscar Bonilla Universidad Galileo Construcción del DFA para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4

31. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo para el Ejemplo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4

32. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4

33. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4

34. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4

35. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4

36. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4

37. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4

38. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce

39. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce

40. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce

41. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce

42. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce

43. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce

44. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce

45. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce

46. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce Conflicto s hift/reduce

47. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce Conflicto s hift/reduce

48. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce Conflicto s hift/reduce

49. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce Conflicto s hift/reduce

50. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce Conflicto s hift/reduce

51. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce Conflicto s hift/reduce

52. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 Conflicto s hift/reduce Conflicto s hift/reduce

53. Oscar Bonilla Universidad Galileo Construcción de la tabla de parseo ¿Cómo nos libramos de estos conflictos shift/reduce?

67. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

68. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

69. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

70. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

71. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

72. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

73. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

74. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

75. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

76. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

77. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

78. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

79. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

80. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

81. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

82. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

83. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

84. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

85. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

86. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

87. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

88. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

89. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

90. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

91. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

92. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

93. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

94. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

95. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

96. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

97. Oscar Bonilla Universidad Galileo Construyendo la tabla de parseo <S>  • <X> $ <X>  • ( <X> ) <X>  • s0 <S>  <X> • $ s1 X <X>  ( • <X> ) <X>  • ( <X> ) <X>  • s2 ( <X>  ( <X> • ) X s3 ( <X>  ( <X> ) • ) s4 follow(<X>) = { ), $ } follow(<S>) = { $ }

98. Oscar Bonilla Universidad Galileo Tablas de parseo LR(0) y SLR(1) SLR(1) LR(0)

106. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >  

107. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0

108. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0

109. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1

110. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( ( <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1

111. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1

112. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( Y <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1

113. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( Y <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1

114. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( Y ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1

115. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( Y ( <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2

116. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( Y ( Y <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   s2 <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2

117. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( Y ( Y <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2

118. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( Y ) ( Y <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2

119. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido ( Y ) ( Y <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 s4 <Y>  ( <Y> ) • <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2

120. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( X Y <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >  

121. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( X Y <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >  

122. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido Y ( Y ) ( X Y <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <S>  <X> • $ s5 s4 <Y>  ( <Y> ) • <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2

123. Oscar Bonilla Universidad Galileo DFA del Ejemplo Expandido Y ( Y ) ( X Y <S>  <X> $ <X>  <Y > <X>  ( < Y >  ( <Y> ) <Y >   <S>  • <X> $ <X>  • < Y > <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <S>  <X> • $ s5 s4 <Y>  ( <Y> ) • <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 <X>  <Y> • s6

128. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

129. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

130. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

131. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

132. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

133. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

134. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y Follow(<Y>) = { ) , $ }

135. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y Follow(<Y>) = { ) , $ }

136. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y Follow(<Y>) = { ) , $ }

137. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

138. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

139. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

140. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

141. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

142. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y Follow(<X>) = { $ }

143. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y Follow(<X>) = { $ }

144. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

145. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y Follow(<Y>) = { ), $ }

146. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y Follow(<Y>) = { ), $ }

147. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y Follow(<Y>) = { ), $ } ¡Conflicto reduce/reduce!

148. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

149. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

150. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

151. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

152. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

153. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X follow(<Y>) = { ), $ } Y

154. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X f ollow(<Y>) = { ), $ } Y

155. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X follow(<Y>) = { ), $ } Y

156. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

157. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

158. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

159. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

160. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

161. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X follow(<Y>) = { ), $ } Y

162. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X follow(<Y>) = { ), $ } Y

163. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X follow(<Y>) = { ), $ } Y

164. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

165. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

166. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

167. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

168. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

169. Oscar Bonilla Universidad Galileo Y ( Y ) follow(<X>) = { $ } ( <X>  <Y> • s6 X Y <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <S>  <X> • $ s5 s4 <Y>  ( <Y> ) • <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2

170. Oscar Bonilla Universidad Galileo <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 Y <S>  <X> • $ s5 ( Y s4 <Y>  ( <Y> ) • ) <Y>  ( <Y> • ) s3 follow(<X>) = { $ } <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 ( <X>  <Y> • s6 X Y

171. Oscar Bonilla Universidad Galileo Y ( Y ) ( <X>  <Y> • s6 X Y <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <S>  <X> • $ s5 s4 <Y>  ( <Y> ) • <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2

172. Oscar Bonilla Universidad Galileo Y ( Y ) ( X Y <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 <S>  <X> • $ s5 s4 <Y>  ( <Y> ) • <Y>  ( <Y> • ) s3 <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 <X>  <Y> • s6

173. Oscar Bonilla Universidad Galileo ¿Podemos eliminar los conflictos reduce/reduce?